Christoph Schwarzweller: Teaching - winter term 2025/2026
Office hours
Monday, 13.45 and Thursday, 10.00 -- by prior registration via email.
Functional Programming
The exam on the exercises (kolokwium) takes place on Monday 19.01.2026 at 12.00
during the laboratory -
on paper, without notes or other material!
Lecture notes - chapter 1 (in polish)
Lecture notes - chapter 2 (in polish)
Lecture notes - chapter 3 (in polish)
Lecture notes - chapter 4 (in polish)
Lecture notes - chapter 4a (in polish)
Lecture notes - chapter 4b (in polish)
Lecture notes - chapter 5 (in polish)
Literature:
Simon Thompson, Haskell - The Craft of Functional Programming
Graham Hutton, Programming in Haskell
H. Conrad Cunningham, Notes on Functional Programming with Haskell
Type Inference
Type Inference - simply typed lambda-calculus
Type Inference - original paper by Milner
Haskel Hompage
Exercises
Example final test