The Easiest Way to Build a Type Checker

Fifty Shades of OOP

The Logic of CUE

Error ABI

A Note on Fil-C

The Error Model (2016)

Creating a Toy Programming Language with Actor-Based Parallelism

the terminal of the future

Designing a Language (2017)

The Origins of Scala (2009)