Richard Bird

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
-
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