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



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


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.

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