You may also be interested in the Exam Schedule.
CS 421 Summer 2026 is fully asynchronous. Each week’s lecture topics have pre-recorded videos available on MediaSpace; follow the lecture links below for slides, videos, and reading questions.
| Week | Week of | Topics |
|---|---|---|
| 1 | May 18, 2026 | Course Introduction |
| Recursion Lecture | ||
| 2 | May 25, 2026 | Algebraic Data Types Lecture |
| Higher Order Functions Lecture | ||
| 3 | June 1, 2026 | Interpreters I Lecture |
| Interpreters II Lecture | ||
| Big-Step Semantics Lecture | ||
| 4 | June 8, 2026 | Lambda Calculus Lecture |
| Continuation Passing Style Lecture | ||
| 5 | June 15, 2026 | Type Classes Lecture |
| Monads Lecture | ||
| 6 | June 22, 2026 | Grammars Lecture |
| Regular Languages Lecture | ||
| 7 | June 29, 2026 | LL Parsing Lecture |
| LR Parsing Lecture | ||
| 8 | July 6, 2026 | Combinator Parsing Lecture |
| Small Step Semantics Lecture | ||
| 9 | July 13, 2026 | Unification Lecture |
| Monotype Semantics Lecture | ||
| 10 | July 20, 2026 | Polytype Semantics Lecture |
| Prolog Lecture | ||
| 11 | July 27, 2026 | Prolog’s Cut Operator Lecture |
| Hoare Semantics Lecture | ||
| Variables Lecture | ||
| 12 | August 3, 2026 | Macros Lecture (enrichment) — Final Exam window August 6–7 |