Control operators, the SECD-machine, and the -calculus (1986)

by M Felleisen, D P Friedman
Venue:In Formal Description of Programming Concepts III , edited by M. Wirsing. Elsevier Science Publishers B.V. (North-Holland