Galois Slicing as Automatic Differentiation

Lazier Binary Decision Diagrams for set-theoretic types

The Wrong Question About Type Systems

Thirteen years of Rust and the birth of Rue

An expression language for Vixen

Typeslayer - a TypeScript types performance tool

Desugaring the Relationship Between Concrete and Abstract Syntax

Adding Iongraph support to ZJIT

Concrete syntax matters, actually

Unison 1.0