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

Functional Programming

(V3 + Ü2, Summer Semester 2024)

LuFG Informatik 2
Type Times/RoomInstructor
Lecture (3)Mon 16:30 - 18:00 AH5 (starting on April 8) Prof. Dr. Jürgen Giesl
 Fri 10:30 - 12:00 AH5  
Exercise (2)Fri 14:30 - 16:00 AH5 Jan-Christoph Kassing, Eleanore Meyer

If you have any questions, please contact us via fp24(at)i2.informatik.rwth-aachen(dot)de.

Registration and Moodle Learning Environment


The course is given in English.

Course Notes and Videos


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.


Theoretical Computer Science, Theoretical Foundations of SSE (Core Subjects)


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). Haskell can be downloaded here and a simple Windows GUI for GHCi is here.


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