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
You can download the assignment from Canvas. Submit your PDF via Gradescope.
| 1 Feb | 15 Feb | ||||||
2 |
Denotational semantics; Fixed points; Lambda calculus implementation
You can download the assignment from Canvas. Submit your PDF via Gradescope and your code via Canvas.
| 15 Feb | 27 Feb | ||||||
3 |
Call-by-need; Encodings; Large-step semantics; Continuation-passing style translation
You can download the assignment from Canvas. Submit your PDF via Gradescope and your code via Canvas.
| 1 Mar | 22 Mar | ||||||
4 |
Recursive types; Existential and universal types; Type Inference
You can download the assignment from Canvas. Submit your PDF via Gradescope and your code via Canvas.
| 22 Mar | 5 Apr | ||||||
5 |
Hoare Logic; Monads
You can download the assignment from Canvas. Submit your PDF via Gradescope and your code via Canvas.
| 5 Apr | 19 Apr | ||||||
6 |
Ethics; Logic Programming
You can download the assignment from Canvas. Submit your PDF via Gradescope and your code and case-study discussion via Canvas.
| 19 Apr | 26 Apr |