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

Functional Programming

(V3 + Ü2, SS 2012)

LuFG Informatik 2
Type Times/RoomInstructor
Lecture (3)Mon 15:45 - 17:15 AH 3 Prof. Dr. Jürgen Giesl
 Fri 10:00 - 11:30 AH 2  
Exercise (2)Wed 11:45 - 13:15 AH 2 Prof. Dr. Jürgen Giesl & Marc Brockschmidt & Fabian Emmes

The lecture has 3 hours per week for Bachelor and Master students.


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.


Course Notes

The course notes are available here (in German): Course Notes (version of April 11, 2012)


References


Versions of the Lecture

Not all material of the lecture is needed for all students. More precisely, there are two versions of the lecture:

Area

Theoretical Computer Science, Area of Specialization


Haskell

In the course, we use the functional programming language Haskell. Information on Haskell can be found on the Haskell home page www.haskell.org. To interpret or compile Haskell programs, one can use the Glasgow Haskell Compiler (GHC). For the lecture, we recommend the interactive mode of the GHC (called GHCi). To this end, we recommend to download the Haskell Platform.


Exercises

50% of the points on the exercise sheets are needed in order to take part in the final exam.

In order to take part in the exercises, please sign up here.

The exercise sheets can be downloaded here.

Transparencies

Here are the transparencies used in the lecture.

Exam

There will be a written exam on the lecture. It takes place on August 15, 2012. The second written exam will take place on September 10, 2012.


Registering for the exam in August should be done via Campus for Bachelor students taking the Bachelor exam and for Master students taking the Master exam. All other students should register by e-mail (including name and matriculation id) to us until July 13, 2012.

To help you prepare, here are the exams used in the winter semester 2009/2010. Please note that the differences between the V3B and V3M versions of the lecture have changed since then. Each of these exams took 120 minutes. We put them online so that they can help you when you are preparing for the final exam. We strongly recommend you to solve these exams without looking at the solutions first! It is a good idea to solve these exams also under the conditions of the original exam (i.e., closed book and with a time limit of 120 minutes):

Due to changes in the computer science curriculum, before 2009 there have not been any written exams to determine the final grade for the course "Functional Programming". However, the following old exams were used in earlier semesters for the acquisition of the exercise certificate for students of "Diplom" curricula. Each of these exams took 90 minutes:
Disclaimer  Research Group Computer Science 2  Dept. of Computer Science RWTH