MPRI course 2-4

Functional programming and type systems

Academic year 2013-2014

This is the material for X. Leroy's lectures in the MPRI 2-4 course (Sept 17th to Oct 22nd). Click on the following links for the other lectures:

Note: no lecture on Sept 24th

Outline for the whole course.

Program execution and transformations:

Slides for the lectures:

Exercises and some answers (for parts 1, 2, and 3).

Further reading: (optional)

Final exam, with answers, for year 2010-2011 (covers G. Castagna's and X. Leroy's parts of the 2-4 course).
Mid-term exam, with answers, for year 2011-2012 (covers X. Leroy's and D. Rémy's parts of the 2-4 course).


Xavier.Leroy@inria.fr