Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (1994)

Cached

Download Links

by Morten Heine Sørensen , Robert Glück , Neil D. Jones
Citations:22 - 0 self

Documents Related by Co-Citation

168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
74 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
43 The algorithm of generalization in the supercompiler – V F Turchin - 1988
173 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
64 Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree – Robert Glück, Andrei V. Klimov - 1993
46 Partial Deduction and Driving are Equivalent – Robert Glück, Morten Heine Sørensen - 1994
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
20 A Supercompiler for Core Haskell – Neil Mitchell, Colin Runciman
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
456 Comprehending Monads – Philip Wadler - 1992
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
26 Metacomputation: Metasystem transitions plus supercompilation – V F Turchin - 1996
25 Supporting transformations for the partial evaluation of logic programs – K Benkerimi, P M Hill - 1993
219 and K.Marriott. Unification Revisited – J-L Lassez, M J Maher - 1988