Richard Bird

Professor Richard Bird

Emeritus Professor

Fellow, Lincoln College

See Also:

• Algorithm Design with Haskell
• 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

• Algorithm Design with Haskell

  Richard Bird and Jeremy Gibbons

  Cambridge University Press. July, 2020.

  Details about Algorithm Design with Haskell | BibTeX data for Algorithm Design with Haskell | Link to Algorithm Design with Haskell

• 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 | DOI (10.1145/2503778.2503781) | 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

Activities

• Algebra of Programming