Last update: 26 juin 2012

MPRI course 2-4
Type systems

Didier Rémy

Year 2012-2013

This is the location for the course material for the first 7 lessons of the course 2-4 of the MPRI.
The other lessons are taught by
Yann Régis-Gianas, Giuseppe Castagna, and Xavier Leroy.
The programming task will be organized with also the help of
François Pottier.

Note

This course was taught for the first time in 2010, which was itself a reorganization of the course of the same name that was taught the previous years. You may find the old course notes of François Pottier on type systems, or my previous course notes on modularity.

Plan (2012-2013)

The lessons will take place on Tuesday at Chevaleret, in room to be determined from 9:15 to 11:45

CoursTeacherLessons
Program transformationsXavier LeroySep 11, 18, 25; Oct 02, 09
Type systemsDidier RémyOct 16, 23; 21, Nov 06, 13; Dec 04, 11
Subtyping and recursive typesGiuseppe CastagnaDec 18, Jan 08, 15, 22
Towards proved programsYann Régis-GianasJan 29; Fev 05, 12, 19
September     11        18        25     
October    02        09        16        23        30    
November    06         13         20         27     
December     04         11         18         25      
January     01         08         15         22         29    
February     05         12         19         26      
March     04      
Type systems

Course notes will be available in PDF. Meanwhile you may see those of last year.

Evaluation

The evaluation of the course is composed of a mid-term exam that (on Tuesday 20 or 27, November 2012), a final exam (on Tuesday 26, February 2013 or Tuesday 04, March 2013), and a programming project which is mandatory.

Although the content of the course has changed, you may still see exams of earlier years.

Paper course notes are allowed during written exams, but all electronic devices are forbidden.

Programming project

The description and sources of this year programming task, will be given here by mid-November, and will have to be returned by Friday 23, February 2012, at the lastest.