Reasoning about programs in continuation-passing style.
- 1 January 1992
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Lisp Pointers
- Vol. V (1) , 288-298
- https://doi.org/10.1145/141478.141563
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- The revised report on the syntactic theories of sequential control and stateTheoretical Computer Science, 1992
- Back to direct style IIPublished by Association for Computing Machinery (ACM) ,1992
- Representing control in the presence of first-class continuationsPublished by Association for Computing Machinery (ACM) ,1990
- Continuation-passing, closure-passing stylePublished by Association for Computing Machinery (ACM) ,1989
- A syntactic theory of sequential controlTheoretical Computer Science, 1987
- ORBIT: an optimizing compiler for schemeACM SIGPLAN Notices, 1986
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Definitional interpreters for higher-order programming languagesPublished by Association for Computing Machinery (ACM) ,1972
- Lambda calculus schemataACM SIGPLAN Notices, 1972
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964