Typst: Designing for Incrementality

A Typed, Algebraic Approach to Parsing (2019)

A Core Calculus for Documents (2024)

Safe Made Easy Pt.1: Single Ownership is (Not) Optional

Rhombus Language 1.0

Lifting E-Graphs

Solod v0.2: Networking, new targets, friendlier interop

Why languages should never reorder structs

Type Inference (Part 1)

Deconstructing Datalog