Richard Bird
|
Professor
Richard
Bird
Wolfson Building, Parks Road, Oxford OX1 3QD |
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
| Zippy Tabulations of Recursive Functions Richard S. Bird In Philippe Audebaud and Christine Paulin-Mohring, editors, Mathematics of Program Construction. Vol. 5133 of Lecture Notes in Computer Science. Pages 92-109. Springer. 2008. |
| Minimal On-line List Labelling Richard S. Bird and Stefan Sadnicki Information Processing Letters. Vol. 101. No. 1. Pages 41-45. 2007. |
| A Program to Solve Sudoku Richard S. Bird Journal of Functional Programming. Vol. 16. No. 6. Pages 671-679. 2006. |
Info
|
Themes |
|
|
Activities |