Literature and Resources

Course Literature We recommend the following course books:

* Benjamin C. Pierce, Types and Programming Languages, The MIT Press, 2002
Besides the course book, we will announce additional scientific articles and papers that are part of the different modules. This list will be updated during the course. See below.

Additional Articles and Papers Module 1: Operational semantics and the lambda calculus
* G. Kahn, Natural Semantics, 1987, Available as LNCS 247, Springer
* Simon Peyton Jones. The Implementation of Functional Programming Languages. Prentice Hall, 1987. NOTE: You only need to read sections 2.1-2.3.¶


Module 2: Typed lambda calculus with extensions To be announced at seminar 2.

Module 3: Subtyping and Polymorphism To be announced at seminar 3.

Resources Below, you can find additional resources that can be helpful during the course.

OCaml
* OCaml.org is the main resource page for the OCaml language and its environments. The page contains many links and texts.