|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
274
|
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
|
|
205
|
An introduction to the theory of lists
– R Bird
- 1987
|
|
30
|
Categories, relations and dynamic programming
– O de Moor
- 1994
|
|
77
|
Algebraic Data Types and Program Transformation
– G R Malcolm
- 1990
|
|
17
|
Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations
– Richard Bird
- 1996
|
|
118
|
Naturally Embedded Query Languages
– Val Breazu-tannen, Peter Buneman, Limsoon Wong
- 1992
|
|
3
|
Type inference for polytypic functions
– P Jansson, J Jeuring
- 1996
|
|
6
|
A Categorical Approach to Functional Programming
– Daniel Tuijnman
- 1995
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
4
|
Type parametric programming with compile-time reflection
– T Sheard
- 1993
|
|
29
|
Category Theoretic Approach to Data Types
– T Hagino
- 1987
|
|
21
|
Datatype Laws without Signatures
– Maarten M. Fokkinga
- 1996
|
|
12
|
A Generic Program for Sequential Decision Processes
– Oege De Moor
- 1995
|
|
28
|
Polytypic Pattern Matching
– Johan Jeuring
- 1995
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
2
|
G.Hutton, Bananas in Space: Extending Squiggol to Function-Space Types
– E Meijer
- 1995
|
