|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
28
|
Polytypic Pattern Matching
– Johan Jeuring
- 1995
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
27
|
Functorial ML
– G. Belle, C. B. Jay, E. Moggi
- 1996
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
17
|
Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations
– Richard Bird
- 1996
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
196
|
Functional Data Structures
– Chris Okasaki
- 1996
|
|
57
|
A Semantics for Shape
– C. Barry Jay
- 1995
|
|
15
|
Analytical and Structural Polymorphism Expressed Using Patterns Over Types
– Fritz Ruehr
- 1992
|
|
46
|
Merging Monads and Folds for Functional Programming
– Erik Meijer, Johan Jeuring
- 1995
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
9
|
PolyLib---A library of polytypic functions
– Patrik Jansson, Johan Jeuring
- 1998
|
