MPRI course 2-4-2

Functional programming languages

Operational semantics, abstract machines and program transformations:

Slides for the lectures: Exercises and some answers.

Type systems:

See François Pottier's page.

Exams:

Programming project:

Please download this .tar.gz archive. It contains the description of the programming task, as well as a number of Caml source files that we provide as a starting point.

Change log:

The description of the programming task can also be consulted on-line.

Deadline: Sunday, 24 February 2008.


Xavier.Leroy@inria.fr