Pierre-Louis Curien, and Jean-Jacques L#vy. Explicit substitutions (1991)

by Martn Abadi, Luca Cardelli
Venue:Journal of Functional Programming