OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Faculty
Jeremy Gibbons | Ralf Hinze
Students
Tom Harper | Daniel James
Publications
current projects
Generic and Indexed Programming
completed projects
Datatype-Generic Programming
themes
Programming Languages