Loop headers in ?-calculus or CPS
- 1 January 1994
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 7 (4) , 337-343
- https://doi.org/10.1007/bf01018615
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Space-efficient closure representationsPublished by Association for Computing Machinery (ACM) ,1994
- Compiling with ContinuationsPublished by Cambridge University Press (CUP) ,1991