Paul F. Hoogendijk

According to our database, Paul F. Hoogendijk authored at least 14 papers between 1991 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Dezyne: Paving the Way to Practical Formal Software Engineering.

Rutger van Beusekom, Bert de Jonge, Paul F. Hoogendijk, Jan Nieuwenhuizen

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

2017

Formalising the Dezyne Modelling Language in mCRL2.

Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2009

Meeting a fanclub: a lattice of generic shape selectors.

Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2003

Generic Properties of Datatypes.

Roland Carl Backhouse, Paul F. Hoogendijk

Proceedings of the Generic Programming - Advanced Lectures, 2003

2000

Container types categorically.

Paul F. Hoogendijk, Oege de Moor

J. Funct. Program., 2000

Code Compaction Using Genetic Algorithms.

Keith E. Mathias, Larry J. Eshelman, J. David Schaffer, Lex Augusteijn, Paul F. Hoogendijk, Rik van de Wiel

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '00), 2000

1999

Final dialgebras: From categories to allegories.

Roland Carl Backhouse, Paul F. Hoogendijk

RAIRO Theor. Informatics Appl., 1999

1997

When Do Datatypes Commute?

Paul F. Hoogendijk, Roland Carl Backhouse

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

Generic Functional Programming with Types and Relations.

Richard S. Bird, Oege de Moor, Paul F. Hoogendijk

J. Funct. Program., 1996

1995

Fixed-Point Calculus.

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

Inf. Process. Lett., 1995

1994

Relational Programming Laws in the Tree, List, Bag, Set Hierarchy.

Paul F. Hoogendijk, Roland Carl Backhouse

Sci. Comput. Program., 1994

1993

Elements of a Relational Theory of Datatypes.

Roland Carl Backhouse, Paul F. Hoogendijk

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

1992

(Relational) Programming Laws in the Boom Hierarchy of Types.

Paul F. Hoogendijk

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1991

Polynomial Relators (Extended Abstract).

Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991