|
150
|
Reasoning about Programs in Continuation-Passing Style
– Amr Sabry Sabry, Matthias Felleisen
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
13
|
The Structure of Continuation-Passing Styles
– John Hatcliff
- 1994
|
|
101
|
Danvy and Andrzej Filinski. Representing control, a study of the CPS transformation
– Olivier
- 1992
|
|
263
|
Definitional interpreters for higher-order programming languages
– John C. Reynolds
- 1972
|
|
174
|
Call-by-name, call-by-value and the λ-calculus
– G Plotkin
- 1976
|
|
97
|
C.P.: Continuations: A mathematical semantics for handling full jumps
– C Strachey, Wadsworth
- 1974
|
|
79
|
A Generic Account of Continuation-Passing Styles
– John Hatcliff, Olivier Danvy
- 1994
|
|
34
|
Correctness of procedure representations in higherorder assembly language
– Mitchell Wand
- 1991
|
|
235
|
The Essence of Compiling with Continuations
– Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
- 1993
|
|
137
|
Essentials of programming languages
– D P Friedman, M Wand, C T Haynes
- 1992
|
|
219
|
Call-by-name, call-by-value, and the -calculus
– G D Plotkin
- 1975
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
53
|
A Reflection on Call-by-Value
– Amr Sabry, Philip Wadler
- 1996
|
|
91
|
Lambda-Calculus Schemata
– Michael J. Fischer
- 1993
|
|
60
|
Categorical Structure of Continuation Passing Style
– Hayo Thielecke, Alan Paxton, Andy Pitts, Jon Riecke, David N. Turner, Phil Wadler
- 1997
|
|
116
|
On the Expressive Power of Programming Languages
– Matthias Felleisen
- 1990
|
|
49
|
Danvy and Andrzej Filinski. Abstracting control
– Olivier
- 1990
|
|
10
|
Formalizing program transformations
– Belmina Dzafic
- 1998
|
