The discoveries of continuations
- 1 November 1993
- journal article
- research article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 6 (3-4), 233-247
- https://doi.org/10.1007/bf01019459
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Standard, storeless semantics for ALGOL-style block structure and call-by-nameLecture Notes in Computer Science, 1986
- A lambda-calculus model of programming languages—II. Jumps and proceduresComputer Languages, 1975
- A lambda-calculus model of programming languages—I. Simple constructsComputer Languages, 1975
- On the relation between direct and continuation semanticsLecture Notes in Computer Science, 1974
- Lambda calculus schemataPublished by Association for Computing Machinery (ACM) ,1972
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964
- SNOBOL , A String Manipulation LanguageJournal of the ACM, 1964
- Recursive ProgrammingNumerische Mathematik, 1960