This page in English  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH

Grundlagen der Funktionalen Programmierung

(V4 + Ü2, SS 2007)

LuFG Informatik 2
Art Termine/OrtVeranstalter
V4Di 10:00 - 11:30 AH III Prof. Dr. Jürgen Giesl
 Fr 10:00 - 11:30 AH II 
Ü2Mi 11:45 - 13:15 AH II Prof. Dr. Jürgen Giesl & Mitarbeiter


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 RWTH