A syntactic approach to type soundness (1994)

by Andrew K Wright, Matthias Felleisen
Venue:Inf. Comput