Richard Bird

Professor Richard Bird

Emeritus Professor

Fellow, Lincoln College

Wolfson Building, Parks Road, Oxford OX1 3QD

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

Effective Reasoning about Effectful Traversals

Jeremy Gibbons and Richard Bird

March, 2011.

Submitted for publication

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: