Bird's research interests lay in
algorithm design and
functional programming, and he was known as a regular contributor to the
Journal of Functional Programming, and as author of several books promoting use of the
programming language Haskell, including
Introduction to Functional Programming using Haskell,
Thinking Functionally with Haskell,
Algorithm Design with Haskell co-authored with
Jeremy Gibbons, and other books on related topics. His name is associated with the
Bird–Meertens formalism, a
calculus for deriving programs from
specifications in a functional programming style. ==Books==