|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
16
|
Higher Order Deforestation
– G.W. Hamilton, St Bg
- 1995
|
|
60
|
Safe fusion of functional expressions
– Wei-Ngan Chin
- 1992
|
|
84
|
Shortcut Deforestation in Calculational Form
– Akihiko Takano, Erik Meijer
- 1995
|
|
5
|
Deforestation for Higher-Order Functional Languages
– S D Marlow
- 1996
|
|
70
|
Warm Fusion: Deriving Build-Catas from Recursive Definitions
– John Launchbury, Tim Sheard
- 1995
|
|
173
|
A Short Cut to Deforestation
– Andrew Gill, John Launchbury, Simon L Peyton Jones
- 1993
|
|
14
|
A grammar-based data-flow analysis to stop deforestation
– M H S��rensen
- 1994
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
35
|
Safe fusion of functional expressions II: Further improvements
– Wei-Ngan Chin
- 1994
|
|
6
|
On Functors Expressible in the Polymorphic Lambda Calculus
– J C Reynolds, G D Plotkin
- 1990
|
|
29
|
Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs
– Sjaak Smetsers, Erik Barendsen, Marko van Eekelen, Rinus Plasmeijer
- 1994
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
33
|
Categorical Semantics for Higher Order Polymorphic Lambda Calculus
– R A G Seely
|
|
3
|
Extending First Order Deforestation
– G.W. Hamilton, St Bg
- 1995
|
|
69
|
On perfect supercompilation
– Jens Peter Secher, Morten Heine Sørensen
- 1996
|
|
6
|
Least Solution of Equations over N
– H Seidl
- 1994
|
|
4
|
Better consumers for deforestation
– W-N Chin, S-C Khoo
- 1995
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
