| Hand-Written Assignment 2 (HW2) |
|
The purpose of HW2 is to test your understanding of how to unify a
system of equations, how to perform type derivations in
simplified OCaml, alpha and beta conversion in the lambda calculus,
the consequences of different evaluation schemes,
how to represent datatypes in the lambda calculus.
|
|
|