Martin Rinard

The Jade Programming Language