 | 2003 |
| 11 |  | Roland Carl Backhouse,
Paul F. Hoogendijk:
Generic Properties of Datatypes.
Generic Programming 2003: 97-132 |
| 2000 |
| 10 |  | Keith E. Mathias,
Larry J. Eshelman,
J. David Schaffer,
Lex Augusteijn,
Paul F. Hoogendijk,
Rik van de Wiel:
Code Compaction Using Genetic Algorithms.
GECCO 2000: 710-717 |
| 9 |  | Paul F. Hoogendijk,
Oege de Moor:
Container types categorically.
J. Funct. Program. 10(2): 191-225 (2000) |
| 1999 |
| 8 |  | Roland Carl Backhouse,
Paul F. Hoogendijk:
Final dialgebras: From categories to allegories.
ITA 33(4/5): 401-426 (1999) |
| 1997 |
| 7 |  | Paul F. Hoogendijk,
Roland Carl Backhouse:
When Do Datatypes Commute?
Category Theory and Computer Science 1997: 242-260 |
| 1996 |
| 6 |  | Richard S. Bird,
Oege de Moor,
Paul F. Hoogendijk:
Generic Functional Programming with Types and Relations.
J. Funct. Program. 6(1): 1-28 (1996) |
| 1995 |
| 5 |  | Chritiene Aarts,
Roland Carl Backhouse,
Eerke A. Boiten,
Henk Doornbos,
Netty van Gasteren,
Rik van Geldrop,
Paul F. Hoogendijk,
Ed Voermans,
Jaap van der Woude:
Fixed-Point Calculus.
Inf. Process. Lett. 53(3): 131-136 (1995) |
| 1994 |
| 4 |  | Paul F. Hoogendijk,
Roland Carl Backhouse:
Relational Programming Laws in the Tree, List, Bag, Set Hierarchy.
Sci. Comput. Program. 22(1-2): 67-105 (1994) |
| 1993 |
| 3 |  | Roland Carl Backhouse,
Paul F. Hoogendijk:
Elements of a Relational Theory of Datatypes.
Formal Program Development 1993: 7-42 |
| 1992 |
| 2 |  | Paul F. Hoogendijk:
(Relational) Programming Laws in the Boom Hierarchy of Types.
MPC 1992: 163-190 |
| 1991 |
| 1 |  | Roland Carl Backhouse,
Peter J. de Bruin,
Paul F. Hoogendijk,
Grant Malcolm,
Ed Voermans,
Jaap van der Woude:
Polynomial Relators (Extended Abstract).
AMAST 1991: 303-326 |