The Bird-Meertens Formalism is a calculus for deriving programs from specifications (in a functional-programming setting), devised by Richard Bird and Lambert Meertens.

It is sometimes facetiously known as Squiggol, because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is SQUIGOL.

See also

• Catamorphism
• Anamorphism
• Paramorphism
• Hylomorphism

References