Vorträge
Haskell-Grundlagen VI
- Interaktion
- Typdeklaration
- Monaden (Einleitung)
- Exkurs: Japanisch-Interlinearisierung
Ausblick
- Haskell-Vertiefung
- 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