OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Richard S. Bird and Ross Paterson
journal
Journal of Functional Programming
number
1
pages
77—91
volume
9
year
1999
BibTeX
Link (pdf)
DOI (10.1017/S0956796899003366)
Richard Bird
activities
Algebra of Programming
