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

65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
299 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
24 Programming languages and lambda calculi. Unpublished lecture notes – M Felleisen, M Flatt
39 The Calculi of λv-CS conversion: a syntactic theory of control and state in imperative higher order programming – M Felleisen - 1987
20 An abstract machine for lambda-terms normalization – P Crégut - 1990
620 Compiling with Continuations – Andrew W Appel - 1992
64 Gradual Typing for Functional Languages – Jeremy G. Siek, Walid Taha - 2006
331 The mechanical evaluation of expressions – P J Landin - 1964
20 A concrete framework for environment machines – Małgorzata Biernacka, Olivier Danvy - 2005
29 How to make a fast curry: push/enter vs eval/apply – S Marlow, S P Jones - 2004
61 An abstract framework for environment machines – P-L Curien - 1991
72 Control Operators, the SECD-machine, and the λ-calculus – M Felleisen, D P Friedman - 1986
21 On Evaluation Contexts, Continuations, and the Rest of Computation – Olivier Danvy
1280 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
150 Essentials of Programming Languages – D P Friedman, M Wand - 2008
51 Programming the Web with High-Level Programming Languages – Paul Graunke, Shriram Krishnamurti, Steve Van, Matthias Felleisen, Steve Van Der Hoeven, Universite De Nice - 2001
16 On the Runtime Complexity of Type-Directed Unboxing – Yasuhiko Minamide, Jacques Garrigue - 1998
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990