A Simple Language With Flow Typing (2021)

A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures

Simple Refinement of Anonymous Sum Types in Pattern Matches

Why Don't More Languages Offer Flow Typing?

Emulating the Lambda Calculus in TypeScript's Type System (2021)