Continuations revisited

DOI10.1023/A:1010074329461MaRDI QIDQ1566885zbMATH OpenOpenAlexFDO

Authors Christopher P. Wadsworth

Publication date 4 June 2000

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010074329461

zbMATH Keywords

jumpsmathematical semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Continuations in possible-world semantics
• scientific article; zbMATH DE number 1722643
• scientific article; zbMATH DE number 3872649

Cited in

(18)

• CPS transformation of beta-redexes
• Continuations in possible-world semantics
• An introduction to Landin's ``A generalization of jumps and labels
• Definitional interpreters revisited
• An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus
• Continuation-passing C, compiling threads to events through continuations
• scientific article; zbMATH DE number 1722643 (Why is no real title available?)
• Continuity in semantic theories of programming
• The Cellar Principle of State Transition and Storage Allocation
• Some Applications of Continuations
• TUTORIAL ON CONTINUATION
• scientific article; zbMATH DE number 1231584 (Why is no real title available?)
• scientific article; zbMATH DE number 5208389 (Why is no real title available?)
• On one-pass CPS transformations
• New kinds of continuities
• Multiple continuation beyond blow-up.
• Peter J. Landin (1930--2009)
• A syntactic correspondence between context-sensitive calculi and abstract machines

This page was built for publication: Continuations revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1566885)