BMF(ID:1538/bmf001)

for Bird-Meertens Formalism.

A calculus for derivation of a functional program from a given specification. Also known as Squiggol.

People:

Structures:

Squigol

Implementation

References:

"The Squiggolist", ed Johan Jeuring, published irregularly by CWI Amsterdam. view details

Bird, R.S. "A Calculus of Functions for Program Derivation", in Res Topics in Fnl Prog, D. Turner ed, A-W 1990. view details