|
Functional Programming
(V4 + Ü2, SS 2005)
|
|
News
The updated course notes (Skript) are now available
from the secretary (Room 4213, Building E1).
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, 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)
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) took place on Friday,
July 22, 10am in AH II instead of the last lecture:
Exercise Certificate Exam Functional Programming 2005
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 12, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 2 (April 12 & 13, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 3 (April 13 & 15, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 4 (April 26 & 27, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 5 (April 27, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 6 (April 29, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 7 (May 6, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 8 (May 13, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 9 (May 24, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 10 (May 27, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 11 (May 27, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 12 (June 7, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 13 (June 10, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 14(June 10, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 15(June 17, 2005)
ps,
pdf,
ps.gz,
pdf.gz --- Updated and corrected on June 20
- Transparency 16(June 24, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 17(June 24, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 18 (June 28, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 19 (July 1, 2005)
ps,
pdf,
ps.gz,
pdf.gz
- Transparency 20 (July 12, 2005)
ps,
pdf,
ps.gz,
pdf.gz
|
|
 |
