Paul F. Hoogendijk

14 papers A 1B 1Journal 5Unranked 7

Year	Rank	Type	Title / Venue / Authors
2021	—	`conf`	Dezyne: Paving the Way to Practical Formal Software Engineering. F-IDE@NFM Rutger van Beusekom, Bert de Jonge, Paul F. Hoogendijk, Jan Nieuwenhuizen
2017	—	`conf`	Formalising the Dezyne Modelling Language in mCRL2. FMICS-AVoCS Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse
2009	—	`conf`	Meeting a fanclub: a lattice of generic shape selectors. WGP@ICFP Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk
2003	—	`conf`	Generic Properties of Datatypes. Generic Programming Roland Carl Backhouse, Paul F. Hoogendijk
2000	A	`conf`	Code Compaction Using Genetic Algorithms. GECCO Keith E. Mathias, Larry J. Eshelman, J. David Schaffer, Lex Augusteijn, Paul F. Hoogendijk, Rik van de Wiel
2000	J	`jnl`	Container types categorically. J. Funct. Program. Paul F. Hoogendijk, Oege de Moor
1999	J	`jnl`	Final dialgebras: From categories to allegories. RAIRO Theor. Informatics Appl. Roland Carl Backhouse, Paul F. Hoogendijk
1997	—	`conf`	When Do Datatypes Commute? Category Theory and Computer Science Paul F. Hoogendijk, Roland Carl Backhouse
1996	J	`jnl`	Generic Functional Programming with Types and Relations. J. Funct. Program. Richard S. Bird, Oege de Moor, Paul F. Hoogendijk
1995	J	`jnl`	Fixed-Point Calculus. Inf. Process. Lett. 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
1994	J	`jnl`	Relational Programming Laws in the Tree, List, Bag, Set Hierarchy. Sci. Comput. Program. Paul F. Hoogendijk, Roland Carl Backhouse
1993	—	`conf`	Elements of a Relational Theory of Datatypes. Formal Program Development Roland Carl Backhouse, Paul F. Hoogendijk
1992	B	`conf`	(Relational) Programming Laws in the Boom Hierarchy of Types. MPC Paul F. Hoogendijk
1991	—	`conf`	Polynomial Relators (Extended Abstract). AMAST Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude