J.J.: Explicit substitutions (1991)

by M Abadi, L Cardelli, P L Curien, Lévy
Venue:Journal of Functional Programming