• 27 Nov 2025 The functorial approach to binding
• 29 Oct 2025 From entailment to contextual refinement
• 27 Oct 2025 A primer on delimited control
• 4 Dec 2024 Mechanising staged logic
• 4 Oct 2024 Getting started with setoid rewriting in Coq
• 30 Dec 2022 Satisfying Music Theory I
• 24 Oct 2019 SATB Bird