A Syntactic Approach to Type Soundness (1992)

by Andrew K. Wright, Matthias Felleisen
Venue:Information and Computation