Assignment for impcore (also in PDF): Introduction; imperative core; unit-testing; ASTs and environments. Due Monday, February 1.
Assignment for opsem (also in PDF): Operational semantics; metatheory. Due Monday, February 8.
Assignment for scheme (also in PDF): Scheme: Recursive programming with lists. Due Wednesday, February 17.
Assignment for hofs (also in PDF): Scheme II: first-class and higher-order functions, continuation passing, semantics. Due Sunday, February 28.
Assignment for ml (also in PDF): Introduction to ML. Due Monday, March 14.
Assignment for typesys (also in PDF): Type systems. Due Tuesday, March 29.
Assignment for ml-inf (also in PDF): ML type inference. Due Wednesday, April 6.
Assignment for small (also in PDF): Smalltalk: Object-oriented programming. Due Sunday, April 17.
Assignment for sml (also in PDF): Standard ML Modules. Due Wednesday, April 27.
Assignment for lambda (also in PDF): Lambda Calculus. Due Monday, May 2.