MDB
Studiengänge
Masterprogramme
Modulsuche
Anmelden
...als Modulverwalter
...als Studierender
Gehe zu
Über die Moduldatenbank
Hauptseite der Moduldatenbank
Institut für Informatik
CAU Kiel
UnivIS
Unterstützt durch:
Curry (Programmiersprache)
Spicey (Web Framework)
Bootstrap (Style Sheets)
[English]
About
Modulinformationssystem Informatik
Modul "Deklarative Programmiersprachen" im WS10/11
Dozent:
Prof. Dr. Michael Hanus
Dieses Modul ist für dieses Semester in folgenden Masterprogrammen eingeplant:
Entwicklung moderner Programmiersprachen (Beginn : WS09/10)
Formale Methoden der Programmierung (Beginn : WS09/10)
Programmiersprachen und Programmiersysteme (Beginn : WS10/11)
Funktionale Programmierung (Beginn : WS10/11)