Instead of exercises, we will ask you to implement graded projects of a duration of approximatively two weeks each. Students are allowed and encouraged to work in groups of two.

### Projets

- Project 1: Numerals and Booleans
- Project 2: Untyped lambda calculus
- Project 3: Simply typed lambda calculus
- Project 4: Simply typed lambda calculus extensions
- Project 5: Simply typed lambda calculus with type inference
- Project 6: Essay on Modula-3 (paper: Cardelli et al.,
*The Modula-3 Type System*. 16th ACM Symposium on Principles of Programming Languages, January 1989. PDF)**Deadline:**January 5 2009, 23:59