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

by M Felleisen, D P Friedman
Venue:Formal Descriptions of Programming Concepts-III