follow Dictionary.com

Why turkey has the same name as Turkey

bird-meertens formalism

bird-meertens formalism in Technology
theory, programming
(BMF) (Or "Squiggol") A calculus for derivation of functional programs from a specification. It consists of a set of higher-order functions that operate on lists including map, fold, scan, filter, inits, tails, cross product and function composition.
["A Calculus of Functions for Program Derivation", R.S. Bird, in Res Topics in Fnl Prog, D. Turner ed, A-W 1990].
["The Squiggolist", ed Johan Jeuring, published irregularly by CWI Amsterdam].
(1995-05-01)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for bird

7
8
Scrabble Words With Friends