Epigram II: Innovative programming via inductive families - Research - Royal Holloway, University of London

Home > Computer Science home > Research > Profile > Projects > Epigram II: Innovative programming via inductive families

Epigram II: Innovative programming via inductive families

Project: Research

Luo, Zhaohui (PI)

Status	Finished
Effective start/end date	1/10/04 → 31/08/05

Funding

Eng & Phys Sci Res Council EPSRC: £50,483

ID: 21702163

Computer Science home

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455