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

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