Lexically scoped type variables (2004)

by S Peyton Jones, M Shields