writings

Here are some of my writings

Anything in the written format with my name on it

• (Paper) OOPSLA, 2024

  Effect Handlers for C via Coroutines
• (Paper) CSL, 2023

  Proofs and Refutations for Intuitionistic and Second-Order Logic
• (Patent) 2021

  Data flow retyping for functional programming languages
• (Paper) DLS, 2021

  Union and Intersection Contracts Are Hard, Actually
• (Paper) LICS, 2021

  A Constructive Logic with Classical Proofs and Refutations
• (Blog Post) November 28, 2019

  PCF in Makam: Mechanizing the Metatheory of Programming Languages