en | de

Advanced Functional Programming

bachelor program

VU3  WS 2024/2025  703139


Slides and Haskell-Sources

week date topics slides sources
01 01.10 Organisation and Introduction, Strict- and Lazy-Evaluation pdf (x4) .tgz
02 08.10 Type-Checking and Type-Inference pdf (x4) .tgz
03 15.10 Type-Inference in Haskell, Kinds and Explicit Foralls pdf (x4) .tgz
04 22.10 Functor, Record Syntax, Case Study: A Simple Parser pdf (x4) .tgz
05 29.10 Monads in General, State Monads pdf (x4) .tgz
06 05.11 Evaluation of Monadic Code, Example: Tseitin, Error Monads pdf (x4) .tgz
07 12.11 TBA
08 19.11 TBA
09 26.11 TBA
10 03.12 TBA
11 10.12 TBA
12 07.01 TBA
13 14.01 TBA
14 21.01 Q & A
15 06.02 1st exam