A Functional Abstraction of Typed Contexts (1989)

Cached

Download Links

by Olivier Danvy , Andrzej Filinski
Citations:65 - 8 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
13 A Library of High Level Control Operators – Christian Queinnec - 1993
2 Should a function continue? – Jon Gary Riecke - 1989
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
4 Continuations for Parallel Logic Programming – Eneia Todoran, Nikolaos S. Papaspyrou - 2000
101 Lambda-Calculus Schemata – Michael J. Fischer - 1993
1 Conservation and Uniform Normalization in Lambda Calculi With Erasing Reductions – Peter Møller Neergaard, Morten Heine Sørensen - 2002
110 The Discoveries of Continuations – John C. Reynolds - 1993
3 On some Functional Aspects of Control – Olivier Danvy - 1988
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
7 Dynamic Modules in Higher-Order Languages – Suresh Jagannathan - 1994
19 Metalevel Building Blocks for Modular Systems – Suresh Jagannathan - 1994
3 Linear Continuation-Passing – Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke - 2002
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
5 Advanced Control Flows for Flexible Graphical User Interfaces or, Growing GUIs on Trees or, Bookmarking GUIs – Or Bookmarking Guis, Paul T. Graunke, Shriram Krishnamurthi - 2002