|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
173
|
A Short Cut to Deforestation
– Andrew Gill, John Launchbury, Simon L Peyton Jones
- 1993
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
70
|
Warm Fusion: Deriving Build-Catas from Recursive Definitions
– John Launchbury, Tim Sheard
- 1995
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
|
46
|
Deriving Structural Hylomorphisms From Recursive Definitions
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
84
|
Shortcut Deforestation in Calculational Form
– Akihiko Takano, Erik Meijer
- 1995
|
|
60
|
Safe fusion of functional expressions
– Wei-Ngan Chin
- 1992
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
42
|
Calculating compilers
– E Meijer
- 1992
|
|
35
|
Homomorphisms and Promotability
– G Malcolm
- 1989
|
|
155
|
The Concept of a Supercompiler
– Valentin F. Turchin
- 1986
|
|
95
|
Algorithmics: Towards programming as a mathematical activity
– L G L T Meertens
- 1986
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
29
|
Category Theoretic Approach to Data Types
– T Hagino
- 1987
|
|
77
|
Algebraic Data Types and Program Transformation
– G R Malcolm
- 1990
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
