OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Bruno C. d. S. Oliveira, Tom Schrijvers and William R. Cook
month
July
note
Draft Paper. Technical report of the POPL submission.
year
2009
BibTeX
Link (pdf)
Bruno Oliveira
