Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Bird-Meertens Formalism

You are here: irt.org | FOLDOC | 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)

Nearby terms: bipolar « bipolar transistor « BIPS « Bird-Meertens Formalism » Birds Of a Feather » BISDN » Bison

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb