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

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.

Themes
Activities	Algebra of Programming

Share this page: