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; induction
Lower quartile: | 71 |
Median: | 87 |
Upper quartile: | 94 |
| 7 Feb | 21 Feb |
2 |
Denotational semantics; Fixed points; Lambda calculus implementation
Lower quartile: | 84 |
Median: | 93 |
Upper quartile: | 98 |
| 21 Feb | 7 Mar |
3 |
Call-by-need; Encodings; Continuation-passing style translation
Lower quartile: | 84 |
Median: | 90 |
Upper quartile: | 94 |
| 12 Mar | 28 Mar |
4 |
Recursive types; Existential and universal types; Type Inference
Lower quartile: | 75 |
Median: | 85 |
Upper quartile: | 92.5 |
| 28 Mar | 11 Apr |
5 |
Monad Laws; Lambda-Print; Monadic Interpreter; Ethical Specifications for Lethal Automated Weapon Systems
Lower quartile: | 93 |
Median: | 98 |
Upper quartile: | 100 |
| 11 Apr | 25 Apr |
6 |
Axiomatic Semantics; Logic Programming
Lower quartile: | 48 (out of 55) = 87% |
Median: | 51 (out of 55) = 93% |
Upper quartile: | 55 (out of 55) = 100% |
| 25 Apr | 2 May |