MPRI course 2-4-2
Functional programming languages
Operational semantics, abstract machines and program transformations:
Slides for the lectures:
Exercises and some
See François Pottier's page.
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.
The description of the programming task can also be
Deadline: Sunday, 24 February 2008.