OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Shin-Cheng Mu and Richard Bird
address
KAIST, Dajeaon, Korea
book title
Asian Workshop on Programming Languages and Systems
month
dec
year
2001
BibTeX
Link (pdf)
Richard Bird
activities
Algebra of Programming
