Explicit substitutions (1990)

by M Abadi, L Cardelli, P-L Curien, J-J Lévy
Venue:Proc. 17th Annual ACM Symposium on Principles of Programming Languages