Course Assignments

Home work

Bold dates indicate that you have to hand in this exercise, by mailing relevant files to doaitse @ cs.uu.nl

1. April 22
   • Read from "Static Sematics" paper, page 1-9
2. April 27, 9.00
   • define a Haskell data type for the untyped lambda calculus with variables
   • define a Haskell data type for representing de Bruijn terms
   • define a translation from the first to the second
   • write a small interpreter for the latter
3. April 29, 15.00
   • Read from "Static Sematics" paper, until page 22
4. May 4
   • study chapters 1-13
   • think about how to implement a type checker with AG for the langauge described thus far
5. May 25
   • read up to and including chapter 23, with less emphasis on chapter 21
   • don't fall asleep reading the church stuff
6. June 10
   • Do exercise 1 and 2 about Constraint Based Type Inference
7. June ??
   • Records exercises (to be added)
8. June 22
   • Dynamic Typing excercises.

Assigned projects

• TypingHaskellInHaskell: Joost Verhoog & Christof Douma
• UniquenessTyping: Niels van der Velden & Mart Kolthof
• OverLoading: Guno Heitman & Peter Nagel