Assignment for opsem (also in PDF): Operational semantics; metatheory. Due Friday, February 1.
Assignment for scheme (also in PDF): Scheme: recursive programming with lists. Due Monday, February 11.
Assignment for hofs (also in PDF): Scheme II: first-class and higher-order functions, continuation passing. Due Friday, February 22.
Assignment for ml (also in PDF): Introduction to ML. Due Saturday, March 2.
Assignment for typesys (also in PDF): Type systems. Due Thursday, March 14.
Assignment for ml-inf (also in PDF): ML type inference. Due Monday, April 1.
Assignment for lambda (also in PDF): Lambda calculus. Due Tuesday, April 9.
Assignment for small (also in PDF): Smalltalk: Object-Oriented programming. Due Monday, April 22.
Assignment for sml (also in PDF): Standard ML Modules. Due Wednesday, May 1.