COMP 105 Homework

Assignment for impcore (also in PDF): Introduction; programming with proof systems and algebraic laws. Due Wednesday, September 16.

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

Assignment for scheme (also in PDF): Scheme I: Recursive programming with lists and S-expressions. Due Monday, October 5.

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

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

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

Assignment for typesys (also in PDF): Type systems. Due Friday, November 6.

Assignment for ml-inf (also in PDF): ML type inference. Due Tuesday, November 17.

Assignment for small (also in PDF): Smalltalk: Introduction to object-oriented programming. Due Sunday, November 22.

Assignment for small-adv: Smalltalk: Concepts of object-oriented programming. Planned for Wednesday, December 2.

Assignment for sml (also in PDF): Modules and abstract types. Due Wednesday, December 9.