A Short Cut to Deforestation (1993)

Cached

Download Links

by Andrew Gill , John Launchbury , Simon L Peyton Jones
Citations:202 - 14 self

Documents Related by Co-Citation

406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988
573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
1318 Monads for functional programming – Philip Wadler - 1995
944 A theory of type polymorphism in programming – Robin Milner - 1978
333 Theorems for free! – Philip Wadler - 1989
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995