Trampolined Style (1999)

by Steven E. Ganz , Daniel P. Friedman , Mitchell Wand
Venue:IN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING
Citations:39 - 3 self

Documents Related by Co-Citation

24 Programming languages and lambda calculi. Unpublished lecture notes – M Felleisen, M Flatt
65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
41 The calculi of λv-CS conversion: A syntactic theory of control and state in imperative higher-order programming languages – M Felleisen - 1987
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
31 Making a fast curry: Push/Enter vs. Eval/Apply for higher-order languages – S Marlow, S Peyton Jones - 2006
62 An Abstract Framework for Environment Machines – P-L Curien - 1991
72 Control operators, the SECDmachine, and the λ-calculus – Matthias Felleisen, Daniel P Friedman - 1986
21 An abstract machine for lambda-terms normalization, in: M. Wand (Ed – P Crégut - 1990
21 On Evaluation Contexts, Continuations, and the Rest of Computation – Olivier Danvy
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
423 SEDA: An Architecture for Well-Conditioned, Scalable Internet Services – Matt Welsh, David Culler, Eric Brewer - 2001
87 Why Events Are a Bad Idea (for High-Concurrency Servers) – Rob von Behren, Jeremy Condit, Eric Brewer - 2003
12 Refocusing in reduction semantics. Research Report BRICS – Olivier Danvy, Lasse R Nielsen - 2004
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
333 The mechanical evaluation of expressions – P J Landin - 1964
49 Back to Direct Style – Olivier Danvy - 1994
23 Functional runtime systems within the lambda–sigma calculus – T Hardin, L Maranget, B Pagano - 1998