Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Exercise | Exercise | 3 | 21.04.21 | 21.04.21 | No | ||
| Exam 2 | Exam | E2.2 (GHH) | 06.10.21 | 06.10.21 | No | ||
| Exam 1 | Exam | E2.2 (GHH) | 21.07.21 | 21.07.21 | No | ||
| Ensuring invariants with types + Functional Abstraction and Higher-Order Functions | Lecture | 1 | 04.05.21 | 04.05.21 | No | ||
| Enforcing Type Requirements | Lecture | 1 | 08.06.21 | 08.06.21 | No |