OXFORD UNIVERSITY COMPUTING LABORATORY

Richard Bird

No Personal Image Available

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.

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.

Minimal On-line List Labelling

A Program to Solve Sudoku

Richard S. Bird

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

A Program to Solve {S}udoku

View all

info

themes

activities

Random Image
Random Image
Random Image