Paul F. Hoogendijk

14 papers A 1B 1Journal 5Unranked 7
YearRankTypeTitle / 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