|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
79
|
Abstracting Control
– Olivier Danvy, Andrzej Filinski
- 1990
|
|
11
|
A Library of High Level Control Operators
– Christian Queinnec
- 1993
|
|
2
|
Should a function continue?
– Jon Gary Riecke
- 1989
|
|
29
|
Modeling Web Interactions
– Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
- 2003
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
23
|
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
|
|
91
|
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
|
|
101
|
The Discoveries of Continuations
– John C. Reynolds
- 1993
|
|
6
|
Dynamic Modules in Higher-Order Languages
– Suresh Jagannathan
- 1994
|
|
3
|
On some Functional Aspects of Control
– Olivier Danvy
- 1988
|
|
16
|
Metalevel Building Blocks for Modular Systems
– Suresh Jagannathan
- 1994
|
|
17
|
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
– Małgorzata Biernacka, Olivier Danvy
- 2005
|
|
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
|
|
5
|
On the call-by-value CPS transform and its semantics
– Carsten Führmann , Hayo Thielecke
- 2004
|
