Last update: 15 septembre 2017

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

Didier Rémy

Year 2017-2018

This is the location for the course material on the Metatheory of Type Programming Languages part of the course 2-4 of the MPRI.

Note

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

Plan for 2017-2018

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.

CoursTeacher
Functional Programming: Under the hoodFrançois Pottier
Metatheory of Typed Programming LanguagesDidier Rémy
Advanced Aspects of Type SystemsYann Régis-Gianas
Dependentlty-typed Functional ProgrammingPierre-Évariste Dadang

Calendar

September 
    15    
    22    
    39    
 
October
    06    
    13    
    20    
    27    
 
November
    03    
    10    
    18    
    24    
 
December
    01    
    08    
    15    
    23    
    30    
January
    05    
    12    
    19    
    26    
 
February
    02    
    09    
    16    
    23    
 
March
    03    
    10    
 

Type systems

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.