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, 2026Higher Order Functions Lecture
3February 3th, 2026Interpreters I Lecture
February 5th, 2026Big-Step Semantics Lecture
4February 10th, 2026Lambda Calculus Lecture
February 12th, 2026Interpreters II Lecture
5February 17th, 2026Continuation Passing Style Lecture
February 19th, 2026Type Classes Lecture
6February 24th, 2026Monads Lecture
February 26th, 2026State Monad Lecture
7March 3th, 2026Grammars Lecture
March 5th, 2026Regular Languages Lecture
8March 10th, 2026LL Parsing Lecture
March 12th, 2026LR Parsing Lecture
Spring BreakNo Class
March 17th, 2026Spring Break
March 19th, 2026Spring Break
9March 24th, 2026Combinator Parsing Lecture
March 26th, 2026Small Step Semantics Lecture
10March 31st, 2026Unification Lecture
April 2rd, 2026Hoare Semantics Lecture
11April 7th, 2026Monotype Semantics Lecture]
April 9th, 2026Polytype Semantics Lecture
12April 14th, 2026Prolog Lecture
April 16th, 2026Prolog’s Cut Operator Lecture
13April 21nd, 2026No class
April 23th, 2026Variables Lecture
14April 28th, 2026Macros Lecture
May 1st, 2026No Class (Exam Retakes)
15May 5st, 2026No Class (Exam Retakes)