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

Module 2: Typed lambda calculus with extensions

Module 3: Subtyping and Polymorphism