TBD: the dates are from last year and will be changed.
This page will contain info about the assignments, as they are released. See the schedule for information about when future assignments will be released.
You can download the assignments from Canvas. Submit your assignments via Gradescope.
|1||Operational semantics; induction||1 Feb||22 Feb|
|2||Denotational semantics; Fixed points; Lambda calculus implementation||22 Feb||3 Mar|
|3||Call-by-need; Encodings; Continuation-passing style translation||8 Mar||29 Mar|
|4||Recursive types; Existential and universal types; Type Inference||29 Mar||12 Apr|
|5||Monad Laws; Lambda-Print; Embedded EthiCS (Optional: Monadic Interpreter)||12 Apr||21 Apr|
|6||Axiomatic Semantics; Logic Programming||19 Apr||26 Apr|