When Will Deforestation Stop? (1988)
by
A. B. Ferguson
,
Philip Wadler
| Venue: | In 1988 Glasgow Workshop on Functional Programming |
| Citations: | 21 - 1 self |
BibTeX
@INPROCEEDINGS{Ferguson88whenwill,
author = {A. B. Ferguson and Philip Wadler},
title = {When Will Deforestation Stop?},
booktitle = {In 1988 Glasgow Workshop on Functional Programming},
year = {1988},
pages = {39--56}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A compositional style of programming is often advocated by functional programmers. However, there is a certain efficiency penalty involved in creating the requisite intermediate structures. Deforestation is a program transformation technique which removes such structures for some such programs. This paper is an investigation into the issues of termination of the transformation process. 1
Citations
| 408 | Can programming be liberated from the von neumann style ? A functional style and its algebra of programs - Backus |
| 375 | Deforestation: Transforming programs to eliminate trees - Wadler - 1990 |
| 195 | A programming language - Iverson - 1962 |
| 135 | Miranda—a non-strict functional language with polymorphic types - Turner - 1996 |
| 74 | Compiling pattern-matching - Augustsson - 1985 |
| 62 | Compiling Lazy Functional Languages - Johnsson - 1987 |
| 41 | Compiling Lazy Functional Languages, Part II - Augustsson - 1987 |
| 36 | Efficient compilation of pattern-matching - Wadler - 1987 |
| 34 | Listlessness is better than laziness: Lazy evaluation and garbage collection at compile time - Wadler - 1984 |
| 13 | UNIX Time-Sharing System: The UNIX Shell - Bourne - 1978 |
| 9 | Listlessness is better than laziness II: composing listless functions’. In: on Programs as data objects - Wadler - 1985 |
