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.
LaTeX: If you are interested in typesetting your assignments using LaTeX, there are many tutorials and introductions. We will provide some LaTeX files for you to use to write your homeworks.
Assignment | Assigned | Due | |
---|---|---|---|
1 | Operational semantics; inference rules; induction | Jan 31 | Feb 14 |
2 | Denotational semantics; Fixed points; Lambda calculus | Feb 14 | Feb 28 |
3 | Lambda caclulus; Encodings; Continuation-passing style translation | Mar 2 | |
4 | Types | Mar 21 | Apr 6 |
5 | Algebraic structions; Axiomatic Semantics | Apr 4 | Apr 20 |
6 | Logic Programming; Embedded EthiCS | Apr 13 | Apr 27 |