|
205
|
An introduction to the theory of lists
– R Bird
- 1987
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
84
|
Shortcut Deforestation in Calculational Form
– Akihiko Takano, Erik Meijer
- 1995
|
|
31
|
An Exploration of the Bird-Meertens Formalism
– Roland Backhouse
- 1989
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
173
|
A Short Cut to Deforestation
– Andrew Gill, John Launchbury, Simon L Peyton Jones
- 1993
|
|
60
|
Safe fusion of functional expressions
– Wei-Ngan Chin
- 1992
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
200
|
Introduction to functional programming using Haskell
– R Bird
- 1998
|
|
28
|
Parallelization in Calculational Forms
– Zhenjiang Hu, Masato Takeichi, Wei-ngan Chin
- 1998
|
|
14
|
Algorithmics---towards programming as a mathematical activity
– L Meertens
- 1986
|
|
42
|
Calculating compilers
– E Meijer
- 1992
|
|
16
|
Calculating Accumulations
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1999
|
|
46
|
Merging Monads and Folds for Functional Programming
– Erik Meijer, Johan Jeuring
- 1995
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
