Funktionale Programmierung/Höhere Programmiersprachen - WS24/25

Die Vorlesung behandelt praktische und theoretische Konzepte und Methoden funktionaler Programmiersprachen sowie eine Einführung in die funktionale Programmierung anhand der Programmiersprache Haskell. Schwerpunkte sind die praktische Programmierung in Haskell sowie funktionale Datenstrukturen, Typensysteme und Auswertungsstrategien.

Weitere Themen sind der Lambda-Kalkül, die Hoare-Logik sowie Methoden zur Definition der formalen Semantik einer Programmiersprache.