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

Functional Programming

(V3 + Ü2, SS 2021)

LuFG Informatik 2
Type Times/RoomInstructor
Lecture (3)Mon 16:30 - 18:00 Prof. Dr. Jürgen Giesl
 Tue 10:30 - 12:00  
Exercise (2)Mon 10:30 - 12:00 Marcel Hark, Jera Hensel, Fabian Meyer

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

Registration and Moodle Learning Environment


Language

The course is given in English.

Course Notes and Videos


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.

Area

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


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.


References


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