MPRI course 2-4-2
modularity

This is the place where the course material for the two lessons on modularity that I will teach as part of the course 2-4-2 of the MPRI will be placed.
The other lessons are taught by François Pottier and Beppe Castagna.

Schedule of lessons:

Every Tuesday of January (room 0D4 at 2:15 pm)

• Lesson 1, January 05: Simple modules
• Lesson 2, January 12: Advanced notions, recursive and mixin modules
• Lesson 3, January 19: Open existential types
• Lesson 4, January 26: Overloading

Exam

• The exam will take place on Tuesday February 2nd, 2010 between 12:45 and 15:45 in the usual classroom (0D4).
• Previous years exams.

Programming project (2009-1010)

Voici le sujet et les sources (archive compressée) du projet.

À rendre au plus tard le dimanche 21 février selon la procédure indiquée dans le sujet.

Both were updated on Thursday Jan 7:

• In sujet: exchanged + and − signs in rules *-Exists-* on Page 6
• (optional) File ./test/Makefile: improved portability, added tests summary.
• (required) File ./test/good/co_record.f: fixed the coercion.
• (required) File ./test/good/co_exists.f: fixed the type.