
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
- [Blog] I want to talk to my compiler, 27 Sep '24
- [Papers] Calculating Compilers Effectively, 2024

Zac Garby
Hackathons
Publications
CV