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

Functional Programming

(V3 + Ü2, SS 2019)

LuFG Informatik 2
Type Times/RoomInstructor
Lecture (3)Mon 14:30 - 16:00 AH 4 Prof. Dr. Jürgen Giesl
 Fri 08:30 - 10:00 AH 5  
Exercise (2)Wed 14:30 - 16:00 AH 1


Course of Studies

This lecture is suitable for the following students:

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 May 30, 2016)
You can also find inofficial video recordings of the lecture in 2012 provided by Fachschaft I/1 MPI.

Area

Theoretical Computer Science


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