A syntactic approach to type soundness. (1994)

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