|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
45
|
Strong categorical datatypes I
– J Cockett, D Spencer
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
18
|
A note on categorical datatypes
– Gavin C Wraith
- 1989
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
159
|
The Category-theoretic Solution of Recursive Domain Equations
– M Smyth, G D Plotkin
- 1982
|
|
45
|
A fixpoint theorem for complete categories
– Joachim Lambek
- 1968
|
|
205
|
An introduction to the theory of lists
– R Bird
- 1987
|
|
8
|
Algebraic Design Language (preliminary definition
– R B Kieburtz, J Lewis
- 1994
|
|
20
|
About Charity
– Robin Cockett, Tom Fukushima
- 1992
|
|
35
|
Homomorphisms and Promotability
– G Malcolm
- 1989
|
|
60
|
Safe fusion of functional expressions
– Wei-Ngan Chin
- 1992
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
45
|
A typed lambda calculus with categorical type constructors
– Tatsuya Hagino
- 1987
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
