Last update: 2octobre2019

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

Didier Rmy

Year 2019-2020

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 also the 2016 session), but the course has changed significantly since 2017.