Paul F. Hoogendijk

Roland Carl Backhouse, Paul F. Hoogendijk: Generic Properties of Datatypes. Generic Programming 2003: 97-132

Paul F. Hoogendijk, Oege de Moor: Container types categorically. J. Funct. Program. 10(2): 191-225 (2000)

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

Roland Carl Backhouse, Paul F. Hoogendijk: Final dialgebras: From categories to allegories. ITA 33(4/5): 401-426 (1999)

Paul F. Hoogendijk, Roland Carl Backhouse: When Do Datatypes Commute? Category Theory and Computer Science 1997: 242-260

Richard S. Bird, Oege de Moor, Paul F. Hoogendijk: Generic Functional Programming with Types and Relations. J. Funct. Program. 6(1): 1-28 (1996)

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)

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)

Roland Carl Backhouse, Paul F. Hoogendijk: Elements of a Relational Theory of Datatypes. Formal Program Development 1993: 7-42

Paul F. Hoogendijk: (Relational) Programming Laws in the Boom Hierarchy of Types. MPC 1992: 163-190

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