411 REFERENCE · Wiktionary
Bird-Meertens formalism
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Devised by Richard Bird and Lambert Meertens.
Noun
A calculus for deriving programs from program specifications (in a functional programming setting) by a process of equational reasoning.
en BMF
en eponyms