Indiana University Bloomington

School of Informatics and Computing

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: