Paul F. Hoogendijk

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 2

Top Topics

Software Engineering

Modelling Language

Top Venues

Publications

Rutger van Beusekom, Bert de Jonge, Paul F. Hoogendijk, Jan Nieuwenhuizen
Dezyne: Paving the Way to Practical Formal Software Engineering. F-IDE@NFM (2021)
Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse
Formalising the Dezyne Modelling Language in mCRL2. FMICS-AVoCS (2017)
Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk
Meeting a fanclub: a lattice of generic shape selectors. WGP@ICFP (2009)
Roland Carl Backhouse, Paul F. Hoogendijk
Generic Properties of Datatypes. Generic Programming (2003)
Paul F. Hoogendijk, Oege de Moor
Container types categorically. J. Funct. Program. 10 (2) (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)
Roland Carl Backhouse, Paul F. Hoogendijk
Final dialgebras: From categories to allegories. RAIRO Theor. Informatics Appl. 33 (4/5) (1999)
Paul F. Hoogendijk, Roland Carl Backhouse
When Do Datatypes Commute? Category Theory and Computer Science (1997)
Richard S. Bird, Oege de Moor, Paul F. Hoogendijk
Generic Functional Programming with Types and Relations. J. Funct. Program. 6 (1) (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) (1995)
Paul F. Hoogendijk, Roland Carl Backhouse
Relational Programming Laws in the Tree, List, Bag, Set Hierarchy. Sci. Comput. Program. 22 (1-2) (1994)
Roland Carl Backhouse, Paul F. Hoogendijk
Elements of a Relational Theory of Datatypes. Formal Program Development (1993)
Paul F. Hoogendijk
(Relational) Programming Laws in the Boom Hierarchy of Types. MPC (1992)
Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude
Polynomial Relators (Extended Abstract). AMAST (1991)