Course Schedule
This is just a tentative schedule, and is subject to changes.
Lectures are
- Tuesdays, 13:15 - 15:00
- Thursdays, 10:00 - 11:45
- Tuesdays, 15:15 - 17:00, starting from Week 2
- Thursdays, 12:00 - 13:00, starting from Week 1
- on demand, also Thu, 9:00 - 9:45
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.
| Week | Date of the lectures | Slides | Exercises | Assignments |
|---|---|---|---|---|
| 46 |
12/11/2024 14/11/2024 |
Introduction, Haskell, Preliminaries Lecture notes Chapter 1 and 2 (Introduction, Preliminaries) Intro slides Preliminaries slides |
Exercises
( Solutions) Advanced exercises (Solutions) |
Programming assignment 0.1-0.3
Specification |
| 47 |
19/11/2024 21/11/2024 |
Syntax Lecture notes Chapter 3 Static and dynamic semantics Lecture notes Chapter 4 Syntax slides Semantics slides |
Syntax Exercises ( Solutions ) | |
| 48 |
26/11/2024 28/11/2024 |
A functional core language: MinHs
A procedural core language: TinyC MinHs slides TinyC slides |
Semantics Exercises ( Solutions ) | Programming assignment 0.1 |
| 49 |
3/12/2024 5/12/2024 |
Abstract machines, Lecture notes Chapter 7 Error handling and exceptions Abstract machines slides Error handling slides |
MinHs Exercises (Solutions) | Programming assignment 0.2 |
| 50 |
10/12/2024 12/12/2024 |
Composite data types Reference types Data types slides Reference types slides |
Abstract Machines Exercises (Solutions) |
Programming assignment 0.3 Release of Assignment 1 ( Assignment 1 spec (version 12/12/2024), download) |
| 51 |
17/12/2024 19/12/2024 |
Reference types, Lecture notes Chapter 10 Polymorphism Polymorphism slides |
Data Type Exercises (Solutions ) | |
| 52, 1 | Christmas break | |||
| 2 |
7/01/2025 9/01/2025 |
Subtyping, Lecture note Chapter 11 Overloading Subtyping slides Overloading slides |
Polymorphism exercises (Solutions) | |
| 3 |
14/01/2025 16/01/2025 |
Featherweight Java Lecture notes Chapter 13 Linear types Featherweight Java slides Linear types slides |
Featherweight Java Exercises (Solutions) | Assignment 1 |
| 4 |
21/01/2025 23/01/2025 |
Revision |
another sample exam (
with solutions) (this one is closer to the actual exam regarding wrt the format) Linear types exercises (Solutions) |
|
| 5 | Exam |
Last modified: Thu Jan 23 17:13:37 CET 2025