CSE 505 - Assignments

• Assignment 1 - Constraints (due Oct 12)
• Sample Solution
• 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)
• Sample Solution
• Assignment 4 - Haskell (due Oct 26)
• Sample Solution
• Assignment 5 - Untyped Lambda Calculus (due Nov 2)
• Sample Solution
• Assignment 6 - Simply Typed Lambda Calculus (due Nov 14)
• Sample Solution
• 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).