|
38
|
The Calculi of λ-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages
– Matthias Felleisen
- 1987
|
|
24
|
Programming languages and lambda calculi, unpublished lecture notes available at and last accessed in
– M Felleisen, M Flatt
- 2008
|
|
52
|
A functional correspondence between evaluators and abstract machines
– Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
- 2003
|
|
263
|
Definitional interpreters for higher-order programming languages
– John C. Reynolds
- 1972
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
357
|
SEDA: An Architecture for Well-Conditioned, Scalable Internet Services
– Matt Welsh, David Culler, Eric Brewer
- 2001
|
|
24
|
Making a fast curry: Push/Enter vs. Eval/Apply for higher-order languages
– S Marlow, S Peyton Jones
- 2006
|
|
55
|
An abstract framework for environment machines
– Pierre-Louis Curien
- 1991
|
|
70
|
D.P.: Control operators, the SECD machine and the λcalculus
– M Felleisen, Friedman
- 1986
|
|
20
|
On Evaluation Contexts, Continuations, and the Rest of Computation
– Olivier Danvy
|
|
15
|
An abstract machine for lambda-terms normalization
– P Crégut
- 1990
|
|
59
|
Defunctionalization at Work
– Olivier Danvy, Lasse R. Nielsen
- 2001
|
|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
137
|
Essentials of programming languages
– D P Friedman, M Wand, C T Haynes
- 1992
|
|
46
|
Programming the Web with High-Level Programming Languages
– Paul Graunke, Shriram Krishnamurti, Steve Van, Matthias Felleisen, Steve Van Der Hoeven, Universite De Nice
- 2001
|
|
15
|
On the Runtime Complexity of Type-Directed Unboxing
– Yasuhiko Minamide, Jacques Garrigue
- 1998
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
72
|
Why Events Are a Bad Idea (for High-Concurrency Servers)
– Rob von Behren, Jeremy Condit, Eric Brewer
- 2003
|
|
85
|
Cooperative Task Management without Manual Stack Management or, Event-driven Programming is Not the Opposite of Threaded Programming
– Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur
- 2002
|
