MPRI course 2-4

Functional programming and type systems

Academic year 2016-2017

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

Outline for the whole course.

Program execution and transformations:

Slides for the lectures:

Exercises and some answers. (Updated every week.)

Further reading: (optional)


Xavier.Leroy@inria.fr