|
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
|
|
43
|
The Under-Appreciated Unfold
– Jeremy Gibbons, Geraint Jones
- 1998
|
|
200
|
Introduction to functional programming using Haskell
– R Bird
- 1998
|
|
77
|
Algebraic Data Types and Program Transformation
– G R Malcolm
- 1990
|
|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
46
|
Merging Monads and Folds for Functional Programming
– Erik Meijer, Johan Jeuring
- 1995
|
|
74
|
Algebra of Programming
– R BIRD, O DE MOOR
- 1997
|
|
42
|
A tutorial on the universality and expressiveness of fold
– Graham Hutton
- 1999
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
84
|
Shortcut Deforestation in Calculational Form
– Akihiko Takano, Erik Meijer
- 1995
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
26
|
Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28
– M M Fokkinga
- 1994
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
52
|
Modular Denotational Semantics for Compiler Construction
– Sheng Liang, Paul Hudak
- 1996
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
