Skip to main content

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

View AllManage publications

Activities