|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
11
|
Constraints to Stop Higher-Order Deforestation
– H. Seidl, M.H. Sørensen
- 1997
|
|
10
|
Integer Constraints to Stop Deforestation
– Helmut Seidl
- 1996
|
|
27
|
Proving the Correctness of Recursion-Based Automatic Program Transformations
– David Sands
- 1996
|
|
12
|
A Constraint-based Partial Evaluator for Functional Logic Programs and its Application
– Laura Lafave
- 1998
|
|
17
|
Deforestation for Higher-Order Functional Programs
– Simon David Marlow
- 1995
|
|
3
|
Extending First Order Deforestation
– G.W. Hamilton, St Bg
- 1995
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
68
|
Rules and Strategies for Transforming Functional and Logic Programs
– A. Pettorossi, M. Proietti, R. Dicembre
- 1996
|
|
21
|
When Will Deforestation Stop?
– A. B. Ferguson, Philip Wadler
- 1988
|
|
|
Synchronization analyses for . . .
– Wei-ngan Chin, Siau-cheng Khoo, Peter Thiemann
|
|
10
|
Positive Supercompilation for a higher order call-by-value language
– Peter A. Jonsson, Johan Nordl
- 2007
|
|
|
In submission. Please do not redistribute. Haskell Beats C Using Generalized Stream Fusion Geoffrey Mainland
– Cambridge England, Roman Leshchinskiy, Simon Peyton Jones, Simon Marlow
|
|
7
|
An Effective Speculative Evaluation Technique for Parallel Supercombinator Graph Reduction
– James S. Mattson, Jr.
- 1993
|
|
69
|
On perfect supercompilation
– Jens Peter Secher, Morten Heine Sørensen
- 1996
|
|
|
Flexible Continuations in Logic Programs via Unfold/Fold Transformations and Goal Generalization
– Alberto Pettorossi Department, Alberto Pettorossi, Maurizio Proietti
- 1997
|
|
3
|
Flexible Continuations in Logic Programs via Unfold/Fold Transformations and Goal Generalization
– Alberto Pettorossi, Maurizio Proietti
- 1997
|
|
58
|
For a Better Support of Static Data Flow
– Charles Consel, Olivier Danvy
|
|
6
|
A Transformation System Combining Partial Evaluation with Term Rewriting
– Françoise Bellegarde
- 1993
|
