J.-J.: Explicit Substitutions (1991)

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