|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
|
Reasoning with Continuations III: A Complete Calculus of Control
– Amr Sabry, Matthias Felleisen
- 1992
|
|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
88
|
Typing First-Class Continuations in ML
– Robert Harper, Bruce F. Duba, David Macqueen
- 1992
|
|
26
|
A Syntactic Theory of Dynamic Binding
– Luc Moreau
- 1997
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
11
|
A Library of High Level Control Operators
– Christian Queinnec
- 1993
|
|
3
|
Calculi for Functional Programming Languages with Assignment
– Daniel Eli Rabin, Daniel Eli Rabin
- 1996
|
|
8
|
A type-theoretic foundation of delimited continuations. Higher Order Symbol
– Zena M. Ariola, Hugo Herbelin, Amr Sabry
- 2009
|
|
10
|
Online Partial Evaluation for Shift and Reset
– Kenichi Asai
- 2002
|
|
5
|
Sound Rules for Parallel Evaluation of a Functional Language with callcc
– Luc Moreau, Daniel Ribbens
- 1993
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
116
|
On the Expressive Power of Programming Languages
– Matthias Felleisen
- 1990
|
|
79
|
A Generic Account of Continuation-Passing Styles
– John Hatcliff, Olivier Danvy
- 1994
|
|
29
|
Modeling Web Interactions
– Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
- 2003
|
|
|
Languages, Theory
– Tiark Rompf, Ingo Maier, Martin Odersky
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
