|
173
|
A Short Cut to Deforestation
– Andrew Gill, John Launchbury, Simon L Peyton Jones
- 1993
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
70
|
Warm Fusion: Deriving Build-Catas from Recursive Definitions
– John Launchbury, Tim Sheard
- 1995
|
|
46
|
Deriving Structural Hylomorphisms From Recursive Definitions
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
38
|
Shortcut Fusion for Accumulating Parameters Zip-like Functions
– Josef Svenningsson
- 2002
|
|
53
|
Cheap Deforestation for Non-strict Functional Languages
– Andrew John Gill, Andrew John Gill
- 1996
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
46
|
Merging Monads and Folds for Functional Programming
– Erik Meijer, Johan Jeuring
- 1995
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
46
|
Playing by the rules: rewriting as a practical optimisation technique in GHC
– Simon Peyton Jones, Andrew Tolmach, Tony Hoare
|
|
24
|
Type Inference Builds a Short Cut to Deforestation
– Olaf Chitil
- 1999
|
|
60
|
Safe fusion of functional expressions
– Wei-Ngan Chin
- 1992
|
|
25
|
Improving Programs which Recurse over Multiple Inductive Structures
– Leonidas Fegaras, Tim Sheard, Tong Zhou
- 1994
|
