Writings

I write papers and blog posts.

• [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]