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.