Christoph Schwarzweller: Teaching - winter term 2025/2026
Office hours
Monday, 13.45 and Thursday, 10.00 -- by prior registration via email.
Functional Programming
Lecture notes - chapter 1 (in polish)
Lecture notes - chapter 2 (in polish)
Lecture notes - chapter 3 (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