Timetable
Title | Type | Location | Serial | Start | End | All Day | |
---|---|---|---|---|---|---|---|
A quick guide on project layout + Generic Programming: Generating Parts of your Program | Lecture | 1 | 18.05.21 | 18.05.21 | No | ||
Building Embedded DSLs to Simplify the Writing of Generic Code | Lecture | 1 | 01.06.21 | 01.06.21 | No | ||
C++ Basics | Lecture | 4 | 14.04.21 | 14.04.21 | No | ||
Computing with Types | Lecture | 4 | 12.05.21 | 12.05.21 | No | ||
Encoding configurability into types + Ensuring invariants with types | Lecture | 4 | 28.04.21 | 28.04.21 | No | ||
Enforcing Type Requirements | Lecture | 1 | 08.06.21 | 08.06.21 | No | ||
Ensuring invariants with types + Functional Abstraction and Higher-Order Functions | Lecture | 1 | 04.05.21 | 04.05.21 | No | ||
Exam 1 | Exam | E2.2 (GHH) | 21.07.21 | 21.07.21 | No | ||
Exam 2 | Exam | E2.2 (GHH) | 06.10.21 | 06.10.21 | No | ||
Exercise | Exercise | 3 | 30.06.21 | 30.06.21 | No |