| Title | Due Date |
|---|
| Designing Recursive Programs, Proof by Induction | 9/23 |
| Abstract Syntax, Evaluation via Reduction | 9/30 |
| Reduction Relations Revisited | 10/7 |
| The Lambda Calculus as a Model of Computation | 10/14 |
| From Lambda to ISWIM | 10/21 |
| Standard Reduction for Flavors of ISWIM | 10/28 |
| Type Checking | 11/04 |
| The CEK Machines and Exceptions | 11/11 (a holiday) |
| The CESK Machine | 11/19 (11am) |
Deliver solutions in both printed and electronic form.
On due days that aren't lecture dates, deliver the print out to my office.