Technical Report TR197:
Control Operators, the SECD-Machine, and the Lambda-Calculus
Matthias Felleisen and Daniel P. Friedman
(Jun 1986)
[Proc. of the IFIP TC 2/WG2. 2 Working Conf. on Formal Description of Programming Concepts Part III, Ebberup, Denmark. August 1986, 193--219]
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
