Elements of a Relational Theory of Datatypes
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 "BirdMeertens formalism".
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!