|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
26
|
Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28
– M M Fokkinga
- 1994
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
200
|
Introduction to functional programming using Haskell
– R Bird
- 1998
|
|
84
|
Shortcut Deforestation in Calculational Form
– Akihiko Takano, Erik Meijer
- 1995
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
205
|
An introduction to the theory of lists
– R Bird
- 1987
|
|
74
|
Algebra of Programming
– R BIRD, O DE MOOR
- 1997
|
