HiPE – The High-Performance Erlang Project

A staged tag scheme for Erlang

General Balanced Trees (1999)

Practical Type Inference Based on Success Typings (2006)

Practical Type Inference Based on Success Typings (2006)

"Exercises in Programming Style" -- one of my fav talks @ ECOOP '14 summer school