Signature: A Type-Passing Implementation of Value Types and Genericity (2002)

by Tim Owen