The Concatenate Vanishes (1987)

Cached

Download Links

by Philip Wadler
Citations:15 - 0 self

Documents Related by Co-Citation

193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
46 A novel representation of lists and its application to the function “reverse – John Hughes - 1986
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
3 List-Processing Optimizations in a Multi-Paradigm Declarative Language – E Albert, C Ferri, F Steiner, G Vidal - 2000
9 Difference-list transformation for prolog – K Marriott, H Søndergaard - 1993
19 A Transformation System for Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal - 1999
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
190 The art of Prolog: advanced programming techniques – L Sterling, E Shapiro - 1986
1312 Monads for functional programming – Philip Wadler - 1995
13 Relating Accumulative and Non-Accumulative Functional Programs – Armin Kühnemann, Robert Glück, Kazuhiko Kakehi - 2001
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
61 Total Correctness by Local Improvement in the Transformation of Functional Programs – David Sands - 1996
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
59 The Design and Implementation of Programming Languages – R J M Hughes - 1984
3 WASH/CGI: Server Side Web Scripting with Sessions and Typed, Compositional Forms – P Thiemann - 2002