|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|
Deliver solutions in both printed and electronic form.
On due days that aren't lecture dates, deliver the print out to my office.