Richard Bird

Professor Richard Bird

Emeritus Professor

Fellow, Lincoln College

Interests

The algebra of programming; See the Algebra of Programming Research Group home page.
The calculation of algorithms from their specification
Functional programming
Algorithm design

Be Kind‚ Rewind: A Modest Proposal about Traversal

Jeremy Gibbons and Richard Bird

May, 2012.

Submitted for publication (but rejected)

A simple division−free algorithm for computing determinants

Richard S. Bird

In Information Processing Letters. 2011.

Building a Consensus

Richard Bird

In Journal of Functional Programming. 2011.

Themes
Activities	Algebra of Programming

Share this page: