The Bird-Meertens Formalism (also called Squiggol) is a calculus for deriving programs from specifications (in a functional program setting) devised by RichardBird and LambertMeertens.

*See Also*

	* CataMorphism
	* ProgramSynthesis