05 Notes & resources
A few useful things.
Course notes, mathematical detours, and templates from my research and teaching.
0102030405
Typed functional programming
Course notes for IT5100A, exploring the ideas and techniques behind typed functional programming.
Functors, monads & category theory
An article connecting familiar programming constructs to their mathematical definitions in category theory.
Teaching templates
LaTeX templates for exam booklets, assignments, solutions, and the documents that accompany a course.
Article template
A LaTeX starting point for typesetting articles.
The blog
More writing, notes, and things I’m thinking about.