|
Functional Programming
(V4 + Ü2, SS 2007)
|
|
News
- On Friday, July 27, from 10:00 to 11:30 in room AH II,
you have the chance to inspect your exam and the exercises 1 to 11.
- The results of the exam are available. See below.
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.
References
- 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: An Introduction to Computing With
Haskell, Pearson, 2002.
Also appeared as "Einführung
in die Programmierung mit Haskell", Pearson, 2004.
- 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 (ed.): Haskell 98 Languages and Libraries: The Revised Report.
Cambridge University Press, 2003. (Available from http://haskell.org/onlinereport/)
- 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)
Area
Theoretical Computer Science, Area of Specialization
Certificate
To get a certificate for this course (Übungsschein) you must reach at
least 50 % of the points on the exercise sheets and pass a test at the end
of the course. We recommend the acquisition of this certificate, since this
is a good opportunity to prepare for the diploma or master examination.
Written Test for the Exercise Certificate
The written test (Übungsscheinklausur) takes place on Friday,
July 13, 10am in AH II instead of the last lecture. You can prepare
by looking at the old exam:
Exercise Certificate Exam Functional Programming 2005
ps,
pdf
Exercise Certificate Exam Functional Programming 2007
ps,
pdf
Results of the Exercise Certificate Exam
pdf
Haskell
In the course, we use the functional programming language Haskell. Information
on Haskell as well as (free) interpreters and
compilers can be found on the Haskell home page www.haskell.org.
To learn Haskell, we recommend the Haskell interpreter Hugs.
Transparencies
Here are the transparencies used in the lecture.
- Transparency 1 (April 3, 2007)
ps,
pdf
- Transparency 2 (April 3, 2007)
ps,
pdf
- Transparency 3 (April 4, 2007)
ps,
pdf
- Transparency 4 (April 11, 2007)
ps,
pdf
- Transparency 5 (April 13, 2007)
ps,
pdf
- Transparency 6 (April 20, 2007)
ps,
pdf
- Transparency 7 (April 20, 2007)
ps,
pdf
- Transparency 8 (April 27, 2007)
ps,
pdf
- Transparency 9 (May 11, 2007)
ps,
pdf
- Transparency 10 (May 15, 2007)
ps,
pdf
- Transparency 11 (May 18, 2007)
ps,
pdf
- Transparency 12 (May 22, 2007)
ps,
pdf
- Transparency 13 (May 25, 2007)
ps,
pdf
- Transparency 14 (June 12, 2007)
ps,
pdf
- Transparency 15 (June 12, 2007)
ps,
pdf
- Transparency 16 (June 15, 2007)
ps,
pdf
- Transparency 17 (June 19, 2007)
ps,
pdf
- Transparency 18 (June 20, 2007)
ps,
pdf
- Transparency 19 (June 22, 2007)
ps,
pdf
- Transparency 20 (July 6, 2007)
ps,
pdf
