Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Types and interfaces | Lecture | 1 | 27.04.21 | 27.04.21 | No | ||
| Office Hour | Exercise | 3 | 14.07.21 | 14.07.21 | No | ||
| Ensuring invariants with types + Functional Abstraction and Higher-Order Functions | Lecture | 1 | 04.05.21 | 04.05.21 | No | ||
| Functional Abstraction and Higher-Order Functions | Lecture | 1 | 11.05.21 | 11.05.21 | No | ||
| Computing with Types | Lecture | 4 | 12.05.21 | 12.05.21 | No | ||
| A quick guide on project layout + Generic Programming: Generating Parts of your Program | Lecture | 1 | 18.05.21 | 18.05.21 | No | ||
| Special Case Handling for Generic Code | Lecture | 1 | 25.05.21 | 25.05.21 | No | ||
| Building Embedded DSLs to Simplify the Writing of Generic Code | Lecture | 1 | 01.06.21 | 01.06.21 | No | ||
| Simplifying Meta Programming With Easy to Use Type-APIs | Lecture | 4 | 26.05.21 | 26.05.21 | No | ||
| From Generic to Generative Programming | Lecture | 1 | 22.06.21 | 22.06.21 | No |