< theory , programming > (BMF) (Or "Squiggol") A calculus for derivation of functional program s from a specification. It consists of a set of higher-order function s 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)