You may also be interested in the Exam Schedule.
Lecture capture will be on MediaSpace. Capture videos typically get uploaded within 12 hours.
| Week | Date | Lecture |
|---|
| 1 | January 21st, 2025 | Course Introduction |
| January 23rd, 2025 | Recursion Lecture |
| 2 | January 28th, 2025 | Algebraic Data Types Lecture |
| January 30th, 2025 | Higher Order Functions Lecture |
| 3 | February 4th, 2025 | Interpreters I Lecture |
| February 6th, 2025 | Big-Step Semantics Lecture |
| 4 | February 11th, 2025 | Lambda Calculus Lecture |
| February 13th, 2025 | Interpreters II Lecture |
| 5 | February 18th, 2025 | Continuation Passing Style Lecture |
| February 20th, 2025 | Type Classes Lecture |
| 6 | February 25th, 2025 | Monads Lecture |
| February 27th, 2025 | State Monad Lecture |
| 7 | March 4th, 2025 | Grammars Lecture |
| March 6th, 2025 | Regular Languages Lecture |
| 8 | March 11th, 2025 | LL Parsing Lecture |
| March 13th, 2025 | LR Parsing Lecture |
| Spring Break | No Class |
| March 18th, 2025 | Spring Break |
| March 20th, 2025 | Spring Break |
| 9 | March 25th, 2025 | Combinator Parsing Lecture |
| March 27th, 2025 | Small Step Semantics Lecture |
| 10 | April 1st, 2025 | Unification Lecture |
| April 3rd, 2025 | Hoare Semantics Lecture |
| 11 | April 8th, 2025 | Loop Invariants Lecture |
| April 10th, 2025 | Monotype Semantics Lecture |
| 12 | April 15th, 2025 | Polytype Semantics Lecture |
| April 17th, 2025 | Prolog Lecture |
| 13 | April 22nd, 2025 | Prolog’s Cut Operator Lecture |
| April 24th, 2025 | Variables Lecture |
| 14 | April 29th, 2025 | Macros Lecture |
| May 1st, 2025 | No Class |