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

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

Epigram I: Innovative programming via inductive families

Project: Research

Luo, Zhaohui (PI)

Status	Finished
Effective start/end date	1/12/01 → 30/09/04

Funding

Eng & Phys Sci Res Council EPSRC: £199,000

ID: 21702192

Computer Science home

Research

Profile

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

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