Course Schedule
This is just a tentative schedule, and is subject to changes. Please check lecture time and location on MyTimetable for possible changes.
Lectures are
- Tuesdays, 13:15 - 15:00 (Ruppert Rood)
- Week 1: 9:00 - 10:45, Week 2 - Week 9: Thursdays, 10:00 - 11:45 (Bol 1.065)
- Tuesdays, 15:15 - 17:00, starting from Week 2
- Thursdays, 11:00 - 12:00, and 9:00 - 9:45 on demand, starting Week 2
The blue entries are assignment releases, the red due dates. Releases will always be on the Monday of that week, and due dates at Fridays, 23:55.
The schedule below is tentative and might change. The chapter numbers refer to the lecture notes.
| Week | Date of the lectures | Topics, Lecture notes chapters, Slides | Exercises | Assignments |
|---|---|---|---|---|
| 46 |
11/11/2025 13/11/2025 |
Introduction, Haskell, Preliminaries Ch 1 and 2 (Introduction, Preliminaries) Preliminaries slides |
Exercises ( Solutions) Advanced exercises (Solutions) |
Programming assignment 0.1-0.3
Specification |
| 47 |
18/11/2025 20/11/2025 |
Syntax, Ch 3, Syntax slides
Static and dynamic semantics, Ch 4 Semantics slides |
Syntax Exercises (Solutions ) | |
| 48 |
25/11/2025 27/11/2025 |
A functional core language: MinHs, Ch 5, MinHs slides
A procedural core language: TinyC, Ch 6 |
Semantics Exercises ( Solutions ) | Programming assignment 0.1 |
| 49 |
2/12/2025 4/12/2025 |
More on TinyC, TinyC slides Abstract machines, Ch 7 Abstract machines slides |
MinHs Exercises (Solutions) | Programming assignment 0.2 |
| 50 |
9/12/2025 11/12/2025 |
Reference types, Ch 8.3 Reference types slides |
Abstract Machines Exercises (Solutions) |
Programming assignment 0.3 Assignment 1 spec (version 11/12/2025) code download |
| 51 |
16/12/2025 18/12/2025 |
Composite types, Ch 8 Composite types slides |
Data Type Exercises (Solutions) |
Release of Assignment 1 |
| 52, 1 | Christmas break | |||
| 2 |
6/01/2026 8/01/2026 |
Parametric Polymorphism, Ch 9 Parametric Polymorphism slides |
Polymorphism exercises (Solutions) | |
| 3 |
13/01/2026 15/01/2026 |
Subtyping, Ch 9 Overloading, Ch 9 Featherweight Java, Ch 10 Subtyping slides Overloading slides Featherweight Java slides |
Featherweight Java Exercises (Solutions) Some sample exam questions ( with solutions) | Assignment 1 |
| 4 |
20/01/2026 22/01/2026 |
Linear Types Revision Linear types slides) |
Sample exam (Solutions) | |
| 5 | Exam |
Last modified: Tue Jan 20 12:31:15 CET 2026