OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Dr Damien Sereni Research Officer01865283551
Please see my personal page for details.
Size-Change Termination of Higher-Order Functional Programs
Damien Sereni
No. RR-04-20, Technical Report, Oxford University Computing Laboratory. October 2004.
Details | BibTeX | Download (ps)
View all
themes
Program Development and Tools
activities
Metacomputation | Programming Tools
Room 006, Wolfson Building, Parks Road, Oxford OX1 3QD
