#### Filter Results:

- Full text PDF available (13)

#### Publication Year

1991

2017

- This year (1)
- Last 5 years (1)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Roland Carl Backhouse, Paul F. Hoogendijk
- Formal Program Development
- 1993

The \Boom hierarchy" is a hierarchy of types that begins at the level of trees and includes lists, bags and sets. This hierarchy forms the basis for the calculus of total functions developed by Bird and Meertens, and which has become known as the \Bird-Meertens formalism". This paper describes a hierarchy of types that logically precedes the Boom hierarchy.… (More)

- Paul F. Hoogendijk, Oege de Moor
- J. Funct. Program.
- 2000

- Richard S. Bird, Oege de Moor, Paul F. Hoogendijk
- J. Funct. Program.
- 1996

- Paul F. Hoogendijk, Roland Carl Backhouse
- Category Theory and Computer Science
- 1997

Polytypic programs are programs that are parameterised by type constructors (like List), unlike polymorphic programs which are parameterised by types (like Int). In this paper we formulate precisely the polytypic programming problem of \commut-ing" two datatypes. The precise formulation involves a novel notion of higher order polymorphism. We demonstrate… (More)

- Paul F. Hoogendijk, Roland Carl Backhouse
- Sci. Comput. Program.
- 1994

In this paper we demonstrate that the basic rules and calculational techniques used in two extensively documented program derivation methods can be expressed, and, indeed, can be generalised within a relational theory of datatypes. The two methods to which we refer are the so-called “Bird-Meertens formalism” for the construction of functional programs and… (More)

The study of inductive and coinductive types (like finite lists and streams, respectively) is usually conducted within the framework of category theory, which to all intents and purposes is a theory of sets and functions between sets. Allegory theory, an extension of category theory due to Freyd, is better suited to modelling relations between sets as… (More)

A point free calculus of so called collection types is presented similar to the monadic calculus of Tannen Buneman and Wong We observe that our calculus is parametrised by a monad thus making the calculus polytypic A novel contribution of the paper is to discuss situations in which a single application involves more than one collection type In particular we… (More)

- Chritiene Aarts, Roland Carl Backhouse, +6 authors Jaap van der Woude
- Inf. Process. Lett.
- 1995