Richard Bird
See Also:
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
-
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