|
17
|
Reductivity Arguments and Program Construction
– H Doornbos
- 1996
|
|
77
|
Algebraic Data Types and Program Transformation
– G R Malcolm
- 1990
|
|
29
|
der Woude. Relational catamorphisms
– R Backhouse, P de Bruin, G Malcolm, T Voermans, J van
- 1991
|
|
27
|
der Woude. Polynomial relators
– R C Backhouse, P de Bruin, P Hoogendijk, G Malcolm, T S Voermans, J van
- 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
|
|
25
|
A Generic Theory of Datatypes
– Paul Hoogendijk
- 1997
|
|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
332
|
Types, abstraction and parametric polymorphism
– J C Reynolds
- 1983
|
|
25
|
der Woude. A relational theory of datatypes. Available via World-Wide Web at http://www.cs.nott.ac.uk/~rcb/MPC/papers
– R C Backhouse, T S Voermans, J van
- 1992
|
|
45
|
A fixpoint theorem for complete categories
– Joachim Lambek
- 1968
|
|
23
|
der Woude, Demonic operators and monotype factors
– R C Backhouse, J van
- 1993
|
|
6
|
Final Dialgebras: From Categories to Allegories
– Roland Backhouse, Paul Hoogendijk
- 1999
|
|
18
|
der Woude. A calculational approach to mathematical induction
– H Doornbos, R Backhouse, J van
- 1997
|
|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
13
|
de Moor O
– R Bird
- 1997
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
