Assignment for scheme (also in PDF): Scheme: recursive programming with lists, programs as data, first-class functions, continuation passing. Due Sunday, February 20.
Assignment for ml (also in PDF): Introduction to ML. Due Thursday, March 3.
Assignment for typesys (also in PDF): Type systems. Due Thursday, March 17.
Assignment for ml-inf (also in PDF): ML type inference. Due Sunday, April 3.
Assignment for lambda (also in PDF): Lambda calculus. Due Sunday, April 10.
Assignment for sem (also in PDF): Denotational semantics. Due Sunday, April 17.
Assignment for small (also in PDF): Smalltalk: Object-Oriented programming. Due Tuesday, April 26.
Assignment for sml (also in PDF): Standard ML Modules. Due Tuesday, May 3.