View on GitHub
Notebooks for L28 (Advanced Functional Programming)
Advanced Functional Programming
Course web page
Notebooks
Type inference
GADTs (part 1)
GADTs (part 2)
Generic programming
Monads (part 1)
Staging (part 1)
Staging (part 2)