2003 |
11 | EE | 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 | EE | 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 |