Assignment for opsem (also in PDF): Operational semantics; metatheory. Due Friday, February 6.

Assignment for scheme (also in PDF): Scheme: Recursive programming with lists. Due Wednesday, February 18.

Assignment for hofs (also in PDF): Scheme II: first-class and higher-order functions, continuation passing, semantics. Due Monday, March 2.

Assignment for ml (also in PDF): Introduction to ML. Due Monday, March 9.

Assignment for typesys (also in PDF): Type systems. Due Wednesday, April 1.

Assignment for ml-inf (also in PDF): ML type inference. Due Friday, April 10.

Assignment for small (also in PDF): Smalltalk: Object-Oriented programming. Due Sunday, April 19.

Assignment for sml (also in PDF): Standard ML Modules. Due Wednesday, April 29.