Assignment for opsem: Operational semantics; metatheory. Due Friday, February 7.
Assignment for scheme: Scheme I: recursive programming with lists. Due Friday, February 21.
Assignment for hofs: Scheme II: first-class and higher-order functions, continuation passing. Due Friday, March 10.
Assignment for ml: Introduction to ML. Due Monday, March 31.
Assignment for typesys: Type systems. Due Monday, April 21.
Assignment for ml-inf: ML type inference [OPTIONAL]. Due Friday, May 9.