COMP 105 Homework

Assignment for impcore (also in PDF): Introduction; imperative core; unit-testing; ASTs and environments. Due Wednesday, September 13.

Assignment for opsem (also in PDF): Operational semantics; metatheory. Due Wednesday, September 20.

Assignment for scheme (also in PDF): Scheme I: Recursive programming with lists. Due Wednesday, September 27.

Assignment for hofs (also in PDF): Scheme II: first-class and higher-order functions. Due Wednesday, October 4.

Assignment for continuations (also in PDF): Scheme III: continuation passing, semantics. Due Monday, October 16.

Assignment for ml (also in PDF): Introduction to ML. Due Wednesday, October 25.

Assignment for typesys: Type systems. Planned for Wednesday, November 8.

Assignment for ml-inf: ML type inference. Planned for Monday, November 20.

Assignment for sml: Modules and abstract types. Planned for Sunday, December 3.

Assignment for small: Smalltalk: Object-oriented programming. Planned for Sunday, December 10.