CPS-transformation after strictness analysis
- 1 September 1992
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Letters on Programming Languages and Systems
- Vol. 1 (3) , 195-212
- https://doi.org/10.1145/151640.151641
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Two-Level Functional LanguagesPublished by Cambridge University Press (CUP) ,1992
- Representing Control: a Study of the CPS TransformationMathematical Structures in Computer Science, 1992
- Reasoning about programs in continuation-passing style.Published by Association for Computing Machinery (ACM) ,1992
- Compilation of functional languages by program transformationACM Transactions on Programming Languages and Systems, 1991
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- ThunksCommunications of the ACM, 1961