Last update: 23novembre2017

MPRI course 2-4
Functional programming and type systems
Metatheory of System F

Didier Rmy

Year 2017-2018

The location for the course material on the Metatheory of Type Programming Languages part of the course 2-4 of the MPRI is now at the gitlab page
https://gitlab.inria.fr/fpottier/mpri-2.4-public/blob/master/README.md

Note

A previous version of this course has been taught yearly since 2010 (see the 2016 session), but this year sessions has changed significantly.