Declarative continuations: An investigation of duality in programming language semantics
- 22 November 2005
- book chapter
- Published by Springer Nature
- p. 224-249
- https://doi.org/10.1007/bfb0018355
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Categorical CombinatorsPublished by Springer Nature ,1993
- The linear abstract machineTheoretical Computer Science, 1988
- A typed lambda calculus with categorical type constructorsPublished by Springer Nature ,1987
- Linear logicTheoretical Computer Science, 1987
- Revised 3 report on the algorithmic language schemeACM SIGPLAN Notices, 1986