The Concatenate Vanishes (1987)

Cached

Download Links

by Philip Wadler
Citations:15 - 0 self

Active Bibliography

1 A List-Processing Optimizer for Curry – Elvira Albert, César Ferri, Germán Vidal, Frank Steiner - 2000
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
Run-time Representations for Xtatic – Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt, Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt - 2004
17 XML goes native: Run-time representations for Xtatic – Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt - 2004
Semantics-Preserving Transformation Sean Leather – Johan Jeuring, Andres Löh, Bram Schuur, Www. Cs. Uu. Nl Issn, Johan Jeuring, Andres Löh, Bram Schuur - 2013
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
141 Views: A way for pattern matching to cohabit with data abstraction – Philip Wadler - 1986
A Difference-List Transformation for Functional Logic Languages – Elvira Albert, César Ferri, Frank Steiner, Germán Vidal - 2000
Losing Functions without Gaining Data – another look at defunctionalisation – Neil Mitchell, Colin Runciman
Explicit Binds: Effortless Efficiency with and without Trees – Tarmo Uustalu
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
The Worker/Wrapper Transformation (Extended Version) – Andy Gill, Graham Hutton
2 The substitution vanishes – Armin Kühnemann, Andreas Maletti - 2006
15 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009
5 Pseudoknot: a Float-Intensive Benchmark for Functional Compilers – Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Xavier Leroy
21 When Will Deforestation Stop? – A. B. Ferguson, Philip Wadler - 1988
18 Benchmarking implementations of functional languages with “pseudoknot” a float-intensive benchmark – Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp - 1996
134 Linear Types Can Change the World! – Philip Wadler - 1990