|
275
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
|
28
|
Polytypic Pattern Matching
– Johan Jeuring
- 1995
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
1225
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
290
|
Theorems for free!
– Philip Wadler
- 1989
|
|
51
|
Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space)
– Leonidas Fegaras, Tim Sheard
- 1996
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
65
|
Recursive types reduced to inductive types
– P Freyd
- 1990
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
26
|
Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28
– M M Fokkinga
- 1994
|
|
46
|
Merging Monads and Folds for Functional Programming
– Erik Meijer, Johan Jeuring
- 1995
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
196
|
Functional Data Structures
– Chris Okasaki
- 1996
|
|
78
|
Algebraic Data Types and Program Transformation
– Grant Malcolm
- 1990
|
|
30
|
Category Theoretic Approach to Data Types
– Tatsuya Hagino
- 1987
|
|
79
|
Algebraic Approaches to Program Semantics
– E G Manes, M A Arbib
- 1986
|
