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.
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.
The lessons will take place on Tuesday at Chevaleret, in room to be determined from 9:15 to 11:45
Cours Teacher Lessons Program transformations Xavier Leroy Sep 11, 18, 25; Oct 02, 09 Type systems Didier Rémy Oct 16, 23; 21, Nov 06, 13; Dec 04, 11 Subtyping and recursive types Giuseppe Castagna Dec 18, Jan 08, 15, 22 Towards proved programs Yann Régis-Gianas Jan 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
Course notes will be available in PDF. Meanwhile you may see those of last year.
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.
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.