University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Richard Bird

Personal photo - Richard Bird
Professor Richard Bird
Emeritus Professor


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

Selected Publications

View all

Manage publications

Understanding Idiomatic Traversals Backwards and Forwards

Richard Bird‚ Jeremy Gibbons‚ Stefan Mehner‚ Janis Voigtlaender and Tom Schrijvers

In Haskell Symposium. September, 2013.

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.