(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.