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

Functional Programming

(V4 + Ü2, SS 2007)

LuFG Informatik 2
Type Times/RoomInstructor
Lecture (4)Tue 10:00 - 11:30 AH III Prof. Dr. Jürgen Giesl
 Fri 10:00 - 11:30 AH II  
Exercise (2)Wed 11:45 - 13:15 AH II Prof. Dr. Jürgen Giesl & Assistants

News




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) 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.

Disclaimer  Research Group Computer Science 2  Dept. of Computer Science RWTH