OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Shin-Cheng Mu and Richard S. Bird
journal
Science of Computer Programming
number
1-2
pages
87-116
volume
51
year
2004
BibTeX
DOI (10.1016/j.scico.2003.09.003)
Richard Bird
activities
Algebra of Programming
