Call-by-Push-Value: A Subsuming Paradigm
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 228-243
- https://doi.org/10.1007/3-540-48959-2_17
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Linear logic, monads and the lambda calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Bridging the gulfPublished by Association for Computing Machinery (ACM) ,1998
- Thunks and the λ-calculusJournal of Functional Programming, 1997
- Premonoidal categories and notions of computationMathematical Structures in Computer Science, 1997
- Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machineJournal of Functional Programming, 1992
- Notions of computation and monadsInformation and Computation, 1991
- Linear logicTheoretical Computer Science, 1987
- LCF considered as a programming languageTheoretical Computer Science, 1977