Hauptnavigation
- Navigation
-
- Aktuelles
- Mitarbeiter
-
Lehre
- SS 2018
- WS 2017/18
- SS 2017
- WS 2016/17
- SS 2016
- WS 2015/16
- SS 2015
-
WS 2014/15
- Automatentheorie
- Compilerbau
-
Fortgeschrittene Funktionale Programmierung
- FFP Material
- Projekte
- FFP Abschlußprojekte verfügbar
-
Material
- Folien 01
- Folien 02
- Folien 03
- Codebeispiel: sumWith
- Folien 04
- Codebeispiel: eval
- Memoizing Ackermann
- Folien 05
- Folien 06
- Folien 07
- Folien 08
- YesodMinimal
- Folien 09
- Codebeispiel: Yesod Routing
- Codebeispiel: Yesod Applikative Formulare
- Codebeispiele zu Folien 9, Teil 2
- Folien 10
- Codebeispiele zu Folien 10
- Tic Tac Toe
- Tic Tac Toe - mit funktionierender AI
- Folien 11
- Codebeispiel, Folien 11
- Aspekte der Programmiersprachen-implementierung
- Oberseminar
- SS 2014
- WS 2013/14
- Frühere Semester
- Bachelor- und Masterarbeiten
- UniWorX
- Forschung
- Lehrerausbildung
- Schüler an der Uni