Vorträge
- Lazy Evaluation
- Programmgleichungen und -beweise
- Anwendungsbeispiele (Abstrakte Maschine, Countdown-Quiz, Tautologietester)
Ausblick
- Haskell-Vertiefung (Real World Haskell, Theorie funktionaler Programmierung)
- Common LISP
- Clojure
Exkurse
- Lambda-Kalkül
- Formale Logik
- Mathematik und Philosophie
- Natürliche Sprachen: Französisch, Russisch, Japanisch und irgendwas das man niemals braucht