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

Datalog

Control Structures in Programming Languages