OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Jeffrey Lake Doctoral Student
Wolfson Building, Parks Road, Oxford OX1 3QD
themes
Programming Languages
activities
Algebra of Programming
projects
Reusability and Dependent Types
supervisor
Jeremy Gibbons
