A confluent calculus of macro expansion and evaluation (1992)
Instituto de Computaci'on Facultad de Ingenier'ia, Universidad de la Rep'ublica
A correspondence between Scheme and the lambda(,upsilon)-CS-calculus (1989)
Arbilla, Laura, Arbilla, Laura
We study the relationship between the programming language Scheme and the $\lambda\sb{v}$-CS-calculus. To this end, we define a correspondence between Scheme and $\Lambda\sb{CS}$-terms--the language...