Back to direct style II
- 1 January 1992
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Lisp Pointers
- Vol. V (1), 299-310
- https://doi.org/10.1145/141478.141564
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- Declarative continuations: An investigation of duality in programming language semanticsPublished by Springer Nature ,2005
- Revised 4 report on the algorithmic language schemeACM SIGPLAN Lisp Pointers, 1991
- Continuations and concurrencyACM SIGPLAN Notices, 1990
- A syntactic theory of sequential controlTheoretical Computer Science, 1987
- Galois connections and computer science applicationsPublished by Springer Nature ,1986
- A denotational framework for data flow analysisActa Informatica, 1982
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Lambda calculus schemataPublished by Association for Computing Machinery (ACM) ,1972
- Definitional interpreters for higher-order programming languagesPublished by Association for Computing Machinery (ACM) ,1972