|
4
|
Optimizing Algebraic Programs
– Tim Sheard, Leonidas Fegaras
- 1994
|
|
25
|
Improving Programs which Recurse over Multiple Inductive Structures
– Leonidas Fegaras, Tim Sheard, Tong Zhou
- 1994
|
|
12
|
Efficient Optimization of Iterative Queries
– Leonidas Fegaras
- 1993
|
|
13
|
Type Parametric Programming
– Tim Sheard
- 1993
|
|
3
|
Eliminating Intermediate Lists in pH using Local Transformations
– Jan-Willem Maessen
- 1994
|
|
9
|
Calculating Software Generators from Solution Specifications
– Richard B. Kieburtz, Francoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
- 1994
|
|
22
|
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
– Patricia Johann, Eelco Visser
- 2000
|
|
70
|
Warm Fusion: Deriving Build-Catas from Recursive Definitions
– John Launchbury, Tim Sheard
- 1995
|
|
1
|
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages
– Patricia Johann, John Launchbury
- 1997
|
|
10
|
Integer Constraints to Stop Deforestation
– Helmut Seidl
- 1996
|
|
1
|
Simplifying Parallel List Traversal
– Jan-willem Maessen, Jan-willem Maessen
- 1995
|
|
2
|
Towards polytypic parallel programming
– Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
- 1998
|
|
20
|
Two for the Price of One: Composing Partial Evaluation and Compilation
– Michael Sperber, Peter Thiemann
- 1997
|
|
8
|
Diffusion: Calculating Efficient Parallel Programs
– Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki
- 1999
|
|
43
|
The Under-Appreciated Unfold
– Jeremy Gibbons, Geraint Jones
- 1998
|
|
22
|
From recursion to iteration: what are the optimizations?
– Yanhong A. Liu, Scott D. Stoller
- 2000
|
|
|
Chapter 1 Coalgebras as Types determined by their Elimination Rules
– Anton Setzer
|
|
|
Why Automatic Transformation Matters
– Ogi
|
|
17
|
Deforestation for Higher-Order Functional Programs
– Simon David Marlow
- 1995
|
