@inbook{fa6dfc9475914f8c98b12a380b106e11,
title = "Elements of a relational theory of datatypes",
abstract = "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. We show how the basic operators of the Bird-Meertens formalism (map, reduce and filter) can be introduced in a logical sequence by beginning with a very simple structure and successively refining that structure. The context of this work is a relational theory of datatypes, rather than a calculus of total functions. Elements of the theory necessary to the later discussion are summarised at the beginning of the paper.",
author = "R.C. Backhouse and P.F. Hoogendijk",
year = "1993",
doi = "10.1007/3-540-57499-9\_15",
language = "English",
isbn = "3-540-57499-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "7--42",
editor = "B. M{\"o}ller and H. Partsch and S. Schuman",
booktitle = "Formal Program Development (IFIP TC2/WG2.1 State-of-the-Art Report)",
address = "Germany",
}