Philip Wadler

Deforestation: transforming programs to eliminate trees

Philip Wadler. Theoretical Computer Science, (Special issue of selected papers from 2'nd European Symposium on Programming), 73: 231-248, 1990.

An algorithm that transforms programs to eliminate intermediate trees is presented. The algorithm applies to any term containing only functions with definitions in a given syntactic form, and is suitable for incorporation in an optimising compiler.

Available in: dvi, ps, dvi.gz, ps.gz.

Philip Wadler,