Diese Seite auf Deutsch  Research Group Computer Science II  Dept. of Computer Science RWTH

Functional Programming

(V4 + Ü2, SS 2005)

LuFG Informatik II
Type Times/RoomStartInstructor
Lecture (4)Tue 10:00 - 11:30 AH III April 12, 2005 Prof. Dr. Jürgen Giesl
 Fri 10:00 - 11:30 AH IIApril 15, 2005  
Exercise (2)Wed 11:45 - 13:15 AH IIApril 13, 2005 Prof. Dr. Jürgen Giesl, Peter Schneider-Kamp


The updated course notes (Skript) are now available from the secretary (Room 4213, Building E1).


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.


The course is given in English.



Theoretical Computer Science, Area of Specialization


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


The exercise sheets will be handed out during the lectures. They can also be downloaded on this site. Your solutions can be handed in until the following Wednesday in the exercise course. In the exercise course the solutions of the latest exercise sheet will be presented and your reviewed solutions of last week's exercises will be handed out.


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.


Here are the transparencies used in the lecture.

Last modified: Fri Oct 14 11:16:03 CEST 2005 / Research Group Computer Science II
RWTH Aachen