|
150
|
Reasoning about Programs in Continuation-Passing Style
– Amr Sabry Sabry, Matthias Felleisen
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
206
|
A Formulae-as-Types Notion of Control
– Timothy G. Griffin
- 1990
|
|
65
|
Explicit Polymorphism and CPS Conversion
– Robert Harper , Mark Lillibridge
- 1992
|
|
|
Reasoning with Continuations III: A Complete Calculus of Control
– Amr Sabry, Matthias Felleisen
- 1992
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
5
|
Revisiting Coroutines
– Ana Lucia de Moura, Roberto Ierusalimschy
- 2004
|
|
7
|
Threads Yield Continuations
– Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig
- 1997
|
|
8
|
A type-theoretic foundation of delimited continuations. Higher Order Symbol
– Zena M. Ariola, Hugo Herbelin, Amr Sabry
- 2009
|
|
40
|
Semantics of memory management for polymorphic languages
– Greg Morrisett, Robert Harper
- 1997
|
|
29
|
Reasoning with Continuations II: Full Abstraction for Models of Control
– Dorai Sitaram, Matthias Felleisen
- 1990
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
|
Polymorphic Type Assignment and CPS Conversion
– Robert Harper Mark, Mark Lillibridge
- 1992
|
|
33
|
Polymorphic type assignment and CPS conversion
– Robert Harper, Mark Lillibridge
- 1993
|
|
116
|
On the Expressive Power of Programming Languages
– Matthias Felleisen
- 1990
|
|
237
|
The Revised Report on the Syntactic Theories of Sequential Control and State
– Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb
- 1992
|
|
3
|
Calculi for Functional Programming Languages with Assignment
– Daniel Eli Rabin, Daniel Eli Rabin
- 1996
|
|
2
|
Towards Leakage Containment
– Julia L. Lawall, Daniel P. Friedman
- 1992
|
