- Assignment 1 - Constraints (due Oct 12)
- Assignment 2: read and post a one-paragraph review of the paper
"Building Constraint Solvers with HAL" (due Oct 15). Please see the CLP Readings List for details (including posting the reviews).
- Assignment 3 - CLP(R) (due Oct 19)
- Assignment 4 - Haskell (due Oct 26)
- Assignment 5 - Untyped Lambda Calculus (due Nov 2)
- Assignment 6 - Simply Typed Lambda Calculus (due Nov 14)
- Assignment 7: read and post a one-paragraph review of the paper "Pizza into Java: Translating theory into practice" (due Nov 14). Please see the 505 Object-Oriented Programming page for details (including posting the reviews).