|
Grundlagen der Funktionalen Programmierung
(V4 + Ü2, SS 2005)
|
|
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.
Contents
The course gives an introduction to functional programming
using the language Haskell. Moreover, we will discuss
models for the semantics and the implementation of
functional languages. This also includes techniques for
type checking and type inference.
Language
The course is given in English.
Weitere Details
Aktuelle Informationen und weitere Details finden Sie auf der
englischen
Seite
zur Vorlesung.
Literatur
- P. Thiemann: Grundlagen der funktionalen Programmierung, Teubner, 1994.
- A. Field, P. Harrison: Functional Programming, Addison-Wesley, 1988.
- C. Reade: Elements of Functional Programming, Addison-Wesley, 1989.
- R. Bird: Introduction to Functional Programming using Haskell, Prentice Hall Press, 1998.
- P. Pepper: Funktionale Programmierung, Springer, 2002.
- M. M. T. Chakravarty, G. C. Keller: Einführung
in die Programmierung mit Haskell, Pearson, 2004.
Also appeared as "An Introduction to Computing With
Haskell", Pearson, 2002.
- S. J. Thompson: Haskell: The Craft of Functional Programming, Addison-Wesley, 1999.
- S. Peyton Jones: The Implementation of Functional Programming Languages, Prentice Hall, 1987.
- J. Loeckx, K. Sieber: The Foundations of Program Verification, Wiley-Teubner, 1987.
- S. Peyton Jones, J. Hughes (eds.): Report on the Programming Language Haskell 98. (Available from http://haskell.org/definition)
- S. Peyton Jones: Tackling the Awkward Squad: monadic input/output,
concurrency, exceptions, and foreign-language calls in Haskell, Marktoberdorf
Summer School 2000. (Available from http://research.microsoft.com/users/simonpj/papers/marktoberdorf)
Zuordnung
Theoretische Informatik, Informatik Vertiefung
