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 | Programming assignment 0.2 |
| 50 |
9/12/2025 11/12/2025 |
Composite data types, Ch 8 Reference types |
Abstract Machines Exercises |
Programming assignment 0.3 Assignment 1 spec (version 11/12/2025) code download |
| 51 |
16/12/2025 18/12/2025 |
Reference types, Ch 8 Polymorphism, Ch 9 |
Release of Assignment 1 |
|
| 52, 1 | Christmas break | |||
| 2 |
6/01/2026 8/01/2026 |
Subtyping, Ch 9 Overloading Type Inference |
||
| 3 |
13/01/2026 15/01/2026 |
Featherweight Java, Ch 10 Linear types |
Assignment 1 | |
| 4 |
20/01/2026 22/01/2026 |
Revision |
||
| 5 | Exam |
Last modified: Mon Dec 15 09:19:56 CET 2025