MPRI course 2-4-2

Functional programming languages

Operational semantics, abstract machines and program transformations:

Slides for the lectures:

Part I: operational semantics
Part II: abstract machines and compilation
Part III: program transformations
Part IV: monads and monadic transformations, with accompanying Caml code.
Part V: functional intermediate representations

Exercises and some answers.

Type systems:

See François Pottier's page.

Exams:

2007-2008 (in French): sujet et corrigé.
2006-2007 (in French): première partie: sujet et corrigé; seconde partie: sujet et corrigé.

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:

Version 1.0, 2007-12-19: initial release.

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

Deadline: Sunday, 24 February 2008.

Xavier.Leroy@inria.fr