CSCI B522 Homework 2r (Fall 2009)

Due 11:59pm Friday, October 9, 2009

The file should be submitted here. Please select hw2r when submitting.


You can redo the following parts of HW2, problem 3 (for 80% credit): (1) the implementation of subst (capture-avoiding substitution) and (2) the implementation of eval (big-step operational semantics for the lambda calculus).

Last modified: Tue Oct 6 17:55:26 EDT 2009