Richard Bird

Professor Richard Bird

Former Member
Fellow, Lincoln College

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

publications

Zippy Tabulations of Recursive Functions

Richard S. Bird

In Philippe Audebaud, Christine Paulin-Mohring, editors, Mathematics of Program Construction Vol. 5133 of Lecture Notes in Computer Science, pages 92-109. Springer, 2008.

Details | BibTeX | DOI (10.1007/978-3-540-70594-9_7)

Zippy Tabulations of Recursive Functions

Minimal On-line List Labelling

Richard S. Bird, Stefan Sadnicki

Information Processing Letters, Vol. 101, No. 1, pages 41-45. 2007.

Details | BibTeX

A Program to Solve Sudoku

Richard S. Bird

Journal of Functional Programming, Vol. 16, No. 6, pages 671-679. 2006.

Details | BibTeX | DOI (10.1017/S0956796806006058)

View all

info

themes
activities	Algebra of Programming