|
332
|
Types, abstraction and parametric polymorphism
– J C Reynolds
- 1983
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
|
95
|
Algorithmics: Towards programming as a mathematical activity
– L G L T Meertens
- 1986
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
205
|
An introduction to the theory of lists
– R Bird
- 1987
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
65
|
Recursive types reduced to inductive types
– P Freyd
- 1990
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
29
|
Category Theoretic Approach to Data Types
– T Hagino
- 1987
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
15
|
Analytical and Structural Polymorphism Expressed Using Patterns Over Types
– Fritz Ruehr
- 1992
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
26
|
Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28
– M M Fokkinga
- 1994
|
