| Title | Due Date |
|---|
| Designing Recursive Programs, Proof by Induction | 9/24 |
| Abstract Syntax, Evaluation via Reduction | 10/1 |
| Redex Finer Exercises | 10/8 |
| Redex and the LC | 10/15 |
| Redex Models of ISWIM | 10/22 |
| Redex and Implementations | 10/29 |
| A First Abstract Register Machine in Redex | 11/05 |
| Abstract Register Machine and Control in Redex | 11/12 |
| State and Garbage | 11/23 |
| Types | 11/30 |
Deliver solutions in both printed and electronic form.
On due days that aren't lecture dates, deliver the print out to my office.