MPRI course 2-4

Functional programming and type systems

Academic year 2014-2015

This is the material for X. Leroy's lectures in the MPRI 2-4 course (Sept 19th to Oct 17nd). 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.

Further reading: (optional)

Programming project:

Download (version 1.0) as a tar.gz archive or a zip archive.

This year's programming project is about nondeterministic and probabilistic functional programming using monads. The archives above contain the description of the tasks, plus some OCaml sources provided as starting points.

Deadline for submitting solutions: Friday, 28 February 2015, 23:59

Change log:


Xavier.Leroy@inria.fr