Defunctionalization at Work (2001)

by Olivier Danvy , Lasse R. Nielsen
Citations:70 - 38 self

Active Bibliography

38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
102 Compiling with Types – Greg Morrisett - 1995
14 A Denotational Investigation of Defunctionalization – Lasse R. Nielsen - 2000
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
17 Call-by-need and Continuation-passing Style – Chris Okasaki, Peter Lee, David Tarditi - 1993
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
13 Refunctionalization at Work – Olivier Danvy, Kevin Millikin - 2008
12 Object Closure Conversion – Neal Glew - 1999
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
8 Syntactic Theories in Practice – Olivier Danvy, Lasse R. Nielsen - 2002
5 Implicit and Explicit Aspects of Scope and Block Structure – Ulrik Pagh Schultz
39 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure – Olivier Danvy, Ulrik P. Schultz - 2001