Linear explicit substitutions (2000)
Ghani, N, De Paiva, V, Ritter, E
The &lgr;&sgr;-calculus adds explicit substitutions to the &lgr;-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied....