MPRI course 2-4 |
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.