A predicate transformer semantics for effects

Did Earlier Thoughts Inspire Grothendieck? (2014)

How to Become a Good Theoretical Physicist

Xmonad from Coq: Programming a Window Manager with a Proof Assistant (2012)

How to Become a Good Theoretical Physicist

The Semantics of Version Control - Wouter Swierstra

Mathematics of the ISO 8601 calendar

How to become a Good Theoretical Physicist