|COMP 105 pages:||Admin||Calendar||Syllabus||ML||Homework||Solutions||Coding
Assignment for impcore (also in PDF): Introduction; imperative core; unit-testing; ASTs and environments. Due Tuesday, January 30.
Assignment for opsem (also in PDF): Operational semantics; metatheory. Due Tuesday, February 6.
Assignment for scheme (also in PDF): Scheme I: Recursive programming with lists. Due Tuesday, February 13.
Assignment for hofs (also in PDF): Scheme II: first-class and higher-order functions. Due Tuesday, February 20.
Assignment for continuations (also in PDF): Scheme III: continuation passing, semantics. Due Tuesday, February 27.
Assignment for ml: Introduction to ML. Planned for Tuesday, March 6.
Assignment for typesys: Type systems. Planned for Friday, March 16.
Assignment for ml-inf: ML type inference. Planned for Tuesday, April 3.
Assignment for lambda: Lambda calculus. Planned for Tuesday, April 10.
Assignment for sml: Modules and abstract types. Planned for Thursday, April 19.
Assignment for small: Smalltalk: Object-oriented programming. Planned for Tuesday, May 1.