Representing Type Lattices Compactly

Interaction nets

The Prospero Challenge

Does unsafe undermine Rust's guarantees?

A float walks into a gradual type system

The problem with OOL is not the OO (2009)

Don't Be Afraid of Types

From Languages to Language Sets

On the Aesthetics of the Syntax of Declarations (2018)

Optimal Bounds for Open Addressing Without Reordering