www.comlab.ox.ac.uk/people/Richard.Bird/index.html

Richard Bird

No Personal Image Available

Professor  Richard  Bird 



Former Member

Fellow, Lincoln College



Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Selected Publications

View all

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