Publications

I write papers and blog posts (and I'm all out of blog posts).

• [Papers] Sound-by-construction type systems, 2026
• [Papers] The LLMbda Calculus, 2026
• [Papers] The Calculated Typer, 2025

  [pdf] [code] [bib]

• [Blog] I want to talk to my compiler, 27 Sep '24
• [Papers] Calculating Compilers Effectively, 2024

  [pdf] [code] [bib] [video talk]