Skip to main navigation
Skip to search
Skip to main content
Royal Holloway Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Activities
Prizes
Datasets
Search by expertise, name or affiliation
Epigram II: Innovative programming via inductive families
Luo, Zhaohui
(PI)
Department of Computer Science
Project
:
Research
Overview
Project Details
Status
Finished
Effective start/end date
1/10/04
→
31/08/05
Funding
Eng & Phys Sci Res Council EPSRC:
£50,483.00
View all
View less