dblp.uni-trier.dewww.uni-trier.de

Paul F. Hoogendijk

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
11EERoland 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
5EEChritiene 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

Coauthor Index

1Chritiene Aarts [5]
2Lex Augusteijn [10]
3Roland Carl Backhouse [1] [3] [4] [5] [7] [8] [11]
4Richard S. Bird [6]
5Eerke A. Boiten [5]
6Peter J. de Bruin [1]
7Henk Doornbos [5]
8Larry J. Eshelman [10]
9Netty van Gasteren [5]
10Rik van Geldrop [5]
11Grant Malcolm [1]
12Keith E. Mathias [10]
13Oege de Moor [6] [9]
14J. David Schaffer [10]
15Ed Voermans [1] [5]
16Rik van de Wiel [10]
17Jaap van der Woude [1] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)