G7400 F'11
Set 1
Set 2
Set 3
Set 4
Set 5
Set 6
Set 7
Set 8
Set 9


TitleDue Date
Designing Recursive Programs, Proof by Induction9/23
Abstract Syntax, Evaluation via Reduction9/30
Reduction Relations Revisited10/7
The Lambda Calculus as a Model of Computation10/14
From Lambda to ISWIM10/21
Standard Reduction for Flavors of ISWIM10/28
Type Checking11/04
The CEK Machines and Exceptions11/11 (a holiday)
The CESK Machine11/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.

last updated on Tue Nov 15 15:51:00 EST 2011generated with Racket