| Date | Title |
|---|---|
| Tuesday, January 18, 2022 | Course Introduction |
| Thursday, January 20, 2022 | Recursion |
| Tuesday, January 25, 2022 | Algebraic Data Types |
| Thursday, January 27, 2022 | Higher Order Functions |
| Tuesday, February 1, 2022 | Interpreters I |
| Tuesday, February 8, 2022 | Big-Step Semantics |
| Thursday, February 10, 2022 | Lambda Calculus |
| Tuesday, February 15, 2022 | Interpreters II |
| Thursday, February 17, 2022 | Continuation Passing Style |
| Tuesday, February 22, 2022 | Type Classes |
| Thursday, February 24, 2022 | Monads |
| Tuesday, March 1, 2022 | State Monad |
| Thursday, March 3, 2022 | Grammars |
| Tuesday, March 8, 2022 | Regular Languages |
| Thursday, March 10, 2022 | LL Parsing |
| Tuesday, March 22, 2022 | LR Parsing |
| Thursday, March 24, 2022 | Combinator Parsing |
| Tuesday, March 29, 2022 | Small-Step Semantics |
| Thursday, March 31, 2022 | Unification |
| Tuesday, April 5, 2022 | Hoare Semantics |
| Thursday, April 7, 2022 | Loop Invariants |
| Tuesday, April 12, 2022 | Monotype Semantics |
| Thursday, April 14, 2022 | Polytype Semantics |
| Tuesday, April 19, 2022 | Prolog |
| Thursday, April 21, 2022 | Prolog's Cut Operator |
| Tuesday, April 26, 2022 | Prolog Applications |
| Thursday, April 28, 2022 | Variables |
| Tuesday, May 3, 2022 | Macros |