Professor Richard Bird
Fellow, Lincoln College
- 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
Submitted for publication (but rejected)
A simple division−free algorithm for computing determinants
Richard S. Bird
In Information Processing Letters. 2011.
Building a Consensus
In Journal of Functional Programming. 2011.