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

Paul F. Hoogendijk Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2003
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Carl Backhouse, Paul F. Hoogendijk: Generic Properties of Datatypes. Generic Programming 2003: 97-132
2000
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeith 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul F. Hoogendijk, Oege de Moor: Container types categorically. J. Funct. Program. 10(2): 191-225 (2000)
1999
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Carl Backhouse, Paul F. Hoogendijk: Final dialgebras: From categories to allegories. ITA 33(4/5): 401-426 (1999)
1997
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul F. Hoogendijk, Roland Carl Backhouse: When Do Datatypes Commute? Category Theory and Computer Science 1997: 242-260
1996
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard S. Bird, Oege de Moor, Paul F. Hoogendijk: Generic Functional Programming with Types and Relations. J. Funct. Program. 6(1): 1-28 (1996)
1995
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChritiene 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Carl Backhouse, Paul F. Hoogendijk: Elements of a Relational Theory of Datatypes. Formal Program Development 1993: 7-42
1992
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul F. Hoogendijk: (Relational) Programming Laws in the Boom Hierarchy of Types. MPC 1992: 163-190
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland 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

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page