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

by M Felleisen, D P Friedman
Venue:In 3rd Working Conference on the Formal Description of Programming Concepts