The Discoveries of Continuations (1993)

Cached

Download Links

by John C. Reynolds , A. Van Wijngaarden , A. W. Mazurkiewicz , F. L. Morris , C. P. Wadsworth , J. H. Morris , M. J. Fischer , S. K. Abdali
Citations:110 - 2 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
110 Continuations: A Mathematical Semantics for Handling Full Jumps – Christopher Strachey - 1974
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
75 Continuation-Based Multiprocessing – Mitchell Wand - 1980
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
8 Abstract Models of Storage – Robert D. Tennent, Dan R. Ghica - 2000
J is for JavaScript: A direct-style correspondence between Algol-like languages and JavaScript using . . . – Olivier Danvy, Chung-Chieh Shan, Ian Zerny
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
101 Lambda-Calculus Schemata – Michael J. Fischer - 1993
11 Types as graphs: Continuations in type logical grammar – Chris Barker, Chung-chieh Shan - 2005