Vorlesung: Grundlagen der funktionalen Programmierung

VL: Grundlagen der funktionalen Programmierung

VL 12061

Grundlagen der funktionalen Programmierung

Mi, 9:00-10:45 Uhr, HS I (Lahnberge)

Beginn: 10.04.2002

Achtung: Am 19. Juni 2002 und am 20. Juni 2002 fallen die Vorlesung und die Übung aus.
Ersatztermin für die Vorlesung: Donnerstag, 27. Juni, anstelle der Übung

UE 12062

Neuer Termin: Do, 12:15 - 13:00 Uhr, HS II (Lahnberge)

Beginn: 11.04.2002

Fachgebiet	Klassifikation	Semester	Fortsetzung	Skript
Informatik	Hauptstudium, theoretische Informatik	>=3	-	(?)

Voraussetzungen: Grundkenntnisse in funktionaler Programmierung

Querverbindungen: Die Vorlesung bildet vor allem im zweiten Teil eine Vertiefung zur Vorlesung "Theorie des Compilerbaus".

Scheinkriterien: Es kann nur ein benoteter Schein erworben werden und zwar durch

aktive Teilnahme an den Übungen
Bearbeitung von mindestens 50 % der Übungsaufgaben
erfolgreiche Präsentation der Lösungen von mindestens zwei Übungsaufgaben
Bestehen eines Kolloquiums

Folien:	Übersetzung in Stackcode (PDF)
Übungsblätter:	Blatt 1 (Postscript, PDF)
	Blatt 2 (Postscript, PDF)
	Blatt 3 (Postscript, PDF)
	Blatt 4 (Postscript, PDF)
	Blatt 5 (Postscript, PDF)
	Blatt 6 (Postscript, PDF)
	Blatt 7 (Postscript, PDF)
	Blatt 8 (Postscript, PDF)
	Blatt 9 (letztes Blatt) (Postscript, PDF)

Literatur:

Peter Thiemann: Grundlagen der funktionalen Programmierung, Teubner Verlag 1994
Martin Erwig: Grundlagen funktionaler Programmierung, Oldenbourg Verlag 1999
Anthony Davie: An Introduction to functional Programming Systems Using Haskell, Cambridge University Press 1992.
R. Loogen: Parallele Implementierung funktionaler Programmiersprachen, Informatik-Fachbericht 232, Springer Verlag 1990
Paul Hudak: Conception, evolution, and application of functional programming languages, ACM Computing Surveys, Volume 21, Issue 3 (September 1989)

Zum Lambda Kalkül:

H.P. Barendregt: Lambda Calculus, North Holland 1997, 2nd ed.
H.P. Barendregt, Functional programming and lambda calculus, in Jan van Leeuwen (ed.): Handbook of Theoretical Computer Science, Vol. B, Elsevier Publishers 1990.
B.J. Rosser: History of lambda calculus, Annals of the History of Computing, Vol. 6, No. 4, October 1984.

Inhalt:

Folgende Themen werden behandelt:

Der Lambda-Kalkül
Das Hindley-Milner Typsystem
Semantik rekursiver Funktionsgleichungssysteme
Analysetechniken
Implementierungstechniken: Graphreduktion, STG-Maschine
Monaden

Zuletzt geändert:

Voraussetzungen:	Grundkenntnisse in funktionaler Programmierung
Querverbindungen:	Die Vorlesung bildet vor allem im zweiten Teil eine Vertiefung zur Vorlesung "Theorie des Compilerbaus".
Scheinkriterien:	Es kann nur ein benoteter Schein erworben werden und zwar durch aktive Teilnahme an den Übungen Bearbeitung von mindestens 50 % der Übungsaufgaben erfolgreiche Präsentation der Lösungen von mindestens zwei Übungsaufgaben Bestehen eines Kolloquiums