Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

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]
The abstact is not available. Please see the full paper.

Available as: