A syntactic approach to type soundness (1994)

by A K Wright, M Felleisen
Venue:Information and Computation