~~NOTOC~~

====== Programming Language Theory ======

{{http://imgs.xkcd.com/comics/goto.png|}}


Winter semester 2014/2015, lectures on Mondays at 9:15, lecturers Zdeněk Buk and Pavel Strnad.

{{indexmenu>.#1}}

/*
Winter semester 2012, lectures on Mondays at 11:00, lecturers Zdeněk Buk and Michal Píše.

{{ http://wumocomicstrip.com/img/strip/-WM_strip_2010-07-22.gif }}
*/

/*
===== Latest Info =====

{{rss>https://api.twitter.com/1/statuses/user_timeline.rss?screen_name=A4M36TPJ 3 date 10m }}

//To get the latest info, you can also use [[https://twitter.com/A4M36TPJ|Twitter]] or [[https://api.twitter.com/1/statuses/user_timeline.rss?screen_name=A4M36TPJ|RSS]].//
*/

/*
===== Lecture Plan =====

  - Introduction to operational semantics
  - Operational semantics
  - Introduction to typing
  - Semantics and typing of a simple imperative language
  - Semantics and typing properties
  - Lambda calculus - I
  - Lambda caluclus - II
  - Denotational semantics
  - Advanced types
  - Naming and state
  - Control and data
  - Abstract types, monads
  - Featherweight Java, Relational Algebra
*/

/*
  - Introduction to operational semantics ({{courses:A4M36TPJ:week1.pdf|handout}})
  - Introduction to typing ({{courses:A4M36TPJ:week2.pdf|handout}})
  - Semantics and typing of a simple imperative language ({{courses:A4M36TPJ:week3.pdf|handout}})
  - Properties of semantics/rewriting relations ({{courses:A4M36TPJ:week4.pdf|handout}})
  - Proofs ({{courses:A4M36TPJ:week5.pdf|handout}})
  - Typing ({{courses:A4M36TPJ:week6.pdf|handout}})
  - Recursive types, subtype and parametric polymorphism ({{courses:A4M36TPJ:week7.pdf|handout}})
  - Featherweight Java ({{courses:A4M36TPJ:week8.pdf|handout}})
  - Lambda calculus ({{courses:A4M36TPJ:week9.pdf|handout}})
  - Lambda calculus, vol. 2 ({{courses:A4M36TPJ:week10.pdf|handout}})
  - Denotational semantics, relational algebra ({{courses:A4M36TPJ:week11.pdf|handout}})
  - Naming and state ({{courses:A4M36TPJ:week12.pdf|handout}})
  - Control and data ({{courses:A4M36TPJ:week13.pdf|handout}})
  - Abstract types, monads ({{courses:A4M36TPJ:week14.pdf|handout}})
*/

/*
===== Your Duties =====

  * Read the relevant chapters in the textbook (Turbak et al.)
  * Successfuly submit five homeworks (at least three on time)
  * Pass the exam (combined, written and oral)
*/