Course Pages
- Education Page
- Description
- Schedule
- Projects
- Software
- Examination
- Interesting Links

Center
Master Program

Course Assignments

TS0506

%TOC%
---+++ 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
   1 *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
   1 April 29, 15.00
      * Read from "Static Sematics" paper, until page 22
   1 May 4
      * study chapters 1-13
      * think about how to implement a type checker with AG for the langauge described thus far
   1 May 25
      * read up to and including chapter 23, with less emphasis on chapter 21
      * don't fall asleep reading the church stuff
   1 June 10
      * Do exercise 1 and 2 about Constraint Based Type Inference
   1 June ??
      * Records exercises (to be added)
   1 June 22
      * Dynamic Typing [[%ATTACHURL%/excercises.pdf][excercises]].

---+++ Assigned projects
   * TypingHaskellInHaskell: Joost Verhoog & Christof Douma
   * UniquenessTyping: Niels van der Velden & Mart Kolthof
   * OverLoading:  Guno Heitman & Peter Nagel
-- Main.DoaitseSwierstra - 19 Apr 2004