MPRI course 2-4
This is the location for the course material on the Metatheory of Type Programming Languages part of the course 2-4 of the MPRI.
A previous version of this course has been taught yearly since 2010 (see the 2016 session), but this year sessions has changed significantly.
The lessons will take place at University of Paris 7 - Denis Diderot, Batiment Sophie Germain in room SG1 (2035) at 12:45. The lessons lasts 2:30.
Cours Teacher Functional Programming: Under the hood François Pottier Metatheory of Typed Programming Languages Didier Rémy Advanced Aspects of Type Systems Yann Régis-Gianas Dependentlty-typed Functional Programming Pierre-Évariste Dadang
September 15 22 39 October 06 13 20 27 November 03 10 17 24 December 01 08 15 23 30 January 05 12 19 26 February 02 09 16 23 March 03 10
The course notes will be available here when the course begins. Meanwhile, you may see those of last year.
You may also retreive the course notes for each chapter below.
NB: The dates are exact, but the progression is approximate. Course notes may be modified before each lesson.