OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Dr Damien Sereni Research Officer01865283551
Room 006, Wolfson Building, Parks Road, Oxford OX1 3QD
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
Programming Languages
activities
Metacomputation | Programming Tools
