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

Exercises

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 order to take part in the exercises, please sign up here. If you have questions regarding the review of your solution, please contact one of the student teaching assistants.

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