Funktionale Programmierung
(V3 + Ü2, SS 2021)
|
|
Inhalt
Die Vorlesung behandelt die Grundlagen funktionaler Programmiersprachen. Neben
einer Einführung in das funktionale Programmieren mit der Sprache Haskell
werden Modelle für die Semantik und die Implementierung funktionaler Sprachen
vorgestellt. Hierbei wird auch auf Verfahren zur Typüberprüfung und -inferenz
eingegangen.
Language
The course is given in English.
Weitere Details
Aktuelle Informationen und weitere Details finden Sie auf der
englischen
Seite
zur Vorlesung.
Zuordnung
Wahlpflichtfach Theorie (für Bachelor),
Theoretische Informatik (für Master Informatik und Master SSE)
