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
| Understanding Idiomatic Traversals Backwards and Forwards Richard Bird‚ Jeremy Gibbons‚ Stefan Mehner‚ Janis Voigtlaender and Tom Schrijvers In Haskell Symposium. September, 2013. |
| Be Kind‚ Rewind: A Modest Proposal about Traversal Jeremy Gibbons and Richard Bird May, 2012. Submitted for publication (but rejected) |
| A simple division−free algorithm for computing determinants Richard S. Bird In Information Processing Letters. 2011. |
Info
|
Themes |
|
|
Activities |
SHARE THIS:
