|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|
|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.