You may also be interested in the Exam Schedule.

Lecture capture will be on MediaSpace. Capture videos typically get uploaded within 12 hours.

WeekDateLecture
1January 20st, 2026Course Introduction
January 22rd, 2026Recursion Lecture
2January 27th, 2026Algebraic Data Types Lecture
January 29th, 2026No Class
3February 3th, 2026Higher Order Functions Lecture
February 5th, 2026Interpreters I Lecture
4February 10th, 2026Big-Step Semantics Lecture
February 12th, 2026Lambda Calculus Lecture
5February 17th, 2026Interpreters II Lecture
February 19th, 2026No Class
6February 24th, 2026Continuation Passing Style Lecture
February 26th, 2026Type Classes Lecture
7March 3th, 2026Monads Lecture
March 5th, 2026State Monad Lecture
8March 10th, 2026Grammars Lecture
March 12th, 2026Regular Languages Lecture
Spring BreakNo Class*
March 17th, 2026Spring Break
March 19th, 2026Spring Break
9March 24th, 2026LL Parsing Lecture
March 26th, 2026LR Parsing Lecture
10March 31st, 2026Combinator Parsing Lecture
April 2rd, 2026Small Step Semantics Lecture
11April 7th, 2026Unification Lecture
April 9th, 2026Hoare Semantics Lecture
12April 14th, 2026Monotype Semantics Lecture
April 16th, 2026Polytype Semantics Lecture
13April 21nd, 2026Prolog Lecture
April 23th, 2026Prolog’s Cut Operator Lecture
14April 28th, 2026Variables Lecture
May 1st, 2026Macros Lecture
15May 5st, 2026No Class (Exam Retakes)