A reflection on call-by-value
- 1 November 1997
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 19 (6), 916-941
- https://doi.org/10.1145/267959.269968
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A reflection on call-by-valuePublished by Association for Computing Machinery (ACM) ,1996
- Reasoning about programs in continuation-passing styleHigher-Order and Symbolic Computation, 1993
- The discoveries of continuationsHigher-Order and Symbolic Computation, 1993
- Separating stages in the continuation-passing style transformationPublished by Association for Computing Machinery (ACM) ,1993
- Notions of computation and monadsInformation and Computation, 1991
- Linear logicTheoretical Computer Science, 1987
- ORBIT: an optimizing compiler for schemeACM SIGPLAN Notices, 1986
- Galois connections and computer science applicationsPublished by Springer Nature ,1986
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964