Pearls of Functional Algorithm Design

by Richard Bird

A radical new approach to algorithm design, namely, design by calculation.