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


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.