Bird-meertens-formalism



bird-meertens formalism
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)

Tagged:

Read Also:

  • Bird-nesting

    noun searching for birds’ nests as a hobby, often to steal the eggs Historical Examples The Swan and Her Crew George Christopher Davies Wilfrid Cumbermede George MacDonald Recreations of Christopher North, Volume 2 John Wilson The King’s Daughters Emily Sarah Holt In the Wilds of Africa W.H.G. Kingston Bird Lore, Volume I–1899 Various Curious Epitaphs […]

  • Birdbrained

    a stupid, foolish, or scatterbrained person.



  • Birddog

    to follow, watch carefully, or investigate. to seek out. Informal. to follow or watch carefully. Slang. to steal or attempt to steal another person’s date.

  • Birder

    a person who raises birds. bird watcher. Contemporary Examples ‘The Central Park Effect’ Explores the Magical Power of Birding Rebecca Dana July 12, 2012



Disclaimer: Bird-meertens-formalism definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.