• M. Bartoletti (lecturer)
• T. Cimoli (teaching assistant)

Massimo Bartoletti

bart@unica.it

Dipartimento di Matematica e Informatica - 070 675 8540

(please send me an e-mail for an appointment)

• Roger Hindley and Jonathan Seldin. Lambda-calculus and Combinators – an introduction. Cambridge University Press, 2008.
• Benjamin Pierce. Types and Programming Languages. MIT Press, 2002.
• Guy Cousineau and Michel Mauny. The functional approach to Programming. Cambridge University Press, 1998.

• Henk Barendregt and Erik Barendsen. Introduction to Lambda Calculus.
• Peter Selinger. Lecture notes on the Lambda Calculus.
• Jean-Yves Girard. Proofs and Types.
• Simon Peyton-Jones. The Implementation of Functional Programming Languages.

• Normal order evaluation of λ-terms
• Programming in the untyped λ-calculus
• Operational interpreter
• Type inference à la Hindley-Milner