Funktionale Programmierung WS 2009/10

Grundlagen der Funktionalen Programmierung
(V3 bzw. 4 + Ü2, WS 2009/10)
LuFG Informatik 2

Art Termine/Ort Veranstalter

V3 / 4 Di 11:45 - 13:15 AH 3 Prof. Dr. Jürgen Giesl
Fr 11:45 - 13:15 AH 1
Ü2 Mi 16:00 - 17:30 AH 3 Prof. Dr. Jürgen Giesl & Carsten Fuhs

Art	Termine/Ort	Veranstalter
V3 / 4	Di 11:45 - 13:15 AH 3	Prof. Dr. Jürgen Giesl
	Fr 11:45 - 13:15 AH 1
Ü2	Mi 16:00 - 17:30 AH 3	Prof. Dr. Jürgen Giesl & Carsten Fuhs

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

Theoretische Informatik, Informatik Vertiefung

Disclaimer

Lehr- und Forschungsgebiet Informatik 2

Fachgruppe Informatik