Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Types and interfaces | Lecture | 1 | 27.04.21 | 27.04.21 | No | ||
| Ensuring invariants with types + Functional Abstraction and Higher-Order Functions | Lecture | 1 | 04.05.21 | 04.05.21 | No | ||
| Lecture - Open Questions (not recorded) | Lecture | 1 | 13.07.21 | 13.07.21 | No | ||
| Introduction | Lecture | 1 | 13.04.21 | 13.04.21 | No | ||
| Functional Abstraction and Higher-Order Functions | Lecture | 1 | 11.05.21 | 11.05.21 | No |