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