(wie im Moulhandbuch Informatik):
Einführung in funktionale Programmierung, Lambda Kalkül,
Typsysteme für funktionale Programmiersprachen
Ebenso eine tiefere Einführung in die Programmiersprache Haskell
- Trainer/in: Moritz Kowalski
- Trainer/in: Manfred Schmidt-Schauss