COMP 105 Homework

Assignment for photo (also in PDF): A photograph we can use to recognize you. Due Tuesday, January 22.

Assignment for impcore (also in PDF): Introduction; programming with proof systems and algebraic laws. Due Tuesday, January 29.

Assignment for opsem: Operational semantics; metatheory. Planned for Tuesday, February 5.

Assignment for scheme: Scheme I: Recursive programming with lists. Planned for Tuesday, February 12.

Assignment for hofs: Scheme II: first-class and higher-order functions. Planned for Tuesday, February 19.

Assignment for continuations: Scheme III: continuation passing, semantics. Planned for Tuesday, February 26.

Assignment for ml: Introduction to ML. Planned for Tuesday, March 5.

Assignment for typesys: Type systems. Planned for Friday, March 15.

Assignment for ml-inf: ML type inference. Planned for Tuesday, April 2.

Assignment for sml: Modules and abstract types. Planned for Tuesday, April 9.

Assignment for lambda: Lambda calculus. Planned for Wednesday, April 17.

Assignment for small: Smalltalk: Object-oriented programming. Planned for Tuesday, April 30.