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

Catamorphism: a generalization of the fold function in FunctionalProgramming. A function on finite data structures having a tree-like data type is a catamorphism if ...

by JoseLabraGayo and M. C. Luengo Diez and J. M. Cueva Lovelle and A. Cernuda del Rio In Electronic Notes in Theoretical Computer Science 44 No. 2 (2001) http://www ...