Abstract continuations: a mathematical semantics for handling full jumps
- 1 January 1988
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- The theory and practice of first-class promptsPublished by Association for Computing Machinery (ACM) ,1988
- Stores and partial continuations as first-class objects in a language and its environmentPublished by Association for Computing Machinery (ACM) ,1988
- Connection Machine LispPublished by Association for Computing Machinery (ACM) ,1986
- Reflection and semantics in LISPPublished by Association for Computing Machinery (ACM) ,1984
- Continuation-based multiprocessingPublished by Association for Computing Machinery (ACM) ,1980
- Final data type specificationsPublished by Association for Computing Machinery (ACM) ,1980
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- OS6--An Experimental Operating System for a Small Computer. Part 1: General Principles and StructureThe Computer Journal, 1972
- Definitional interpreters for higher-order programming languagesPublished by Association for Computing Machinery (ACM) ,1972