Richard Bird

Professor Richard Bird

Emeritus Professor

Fellow, Lincoln College

See Also:

• Thinking Functionally with Haskell
• Code for Garsia-Wachs paper

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

Selected Publications

View AllManage publications

• Understanding Idiomatic Traversals Backwards and Forwards

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

  In Haskell Symposium. September, 2013.

  Details about Understanding Idiomatic Traversals Backwards and Forwards | BibTeX data for Understanding Idiomatic Traversals Backwards and Forwards | Download (pdf) of Understanding Idiomatic Traversals Backwards and Forwards

• Be Kind‚ Rewind: A Modest Proposal about Traversal

  Jeremy Gibbons and Richard Bird

  May, 2012.

  Submitted for publication (but rejected)

  Details about Be Kind‚ Rewind: A Modest Proposal about Traversal | BibTeX data for Be Kind‚ Rewind: A Modest Proposal about Traversal | Download (pdf) of Be Kind‚ Rewind: A Modest Proposal about Traversal

• A simple division−free algorithm for computing determinants

  Richard S. Bird

  In Information Processing Letters. 2011.

  Details about A simple division−free algorithm for computing determinants | BibTeX data for A simple division−free algorithm for computing determinants | DOI (10.1016/j.ipl.2011.08.006) | Link to A simple division−free algorithm for computing determinants

Activities

• Algebra of Programming