Epigram I: Innovative programming via inductive families

Project: Research

Project Details

StatusFinished
Effective start/end date1/12/01 → 30/09/04

Funding

  • Eng & Phys Sci Res Council EPSRC: £199,000.00