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