Epigram II: Innovative programming via inductive families

Project: Research

Project Details

StatusFinished
Effective start/end date1/10/0431/08/05

Funding

  • Eng & Phys Sci Res Council EPSRC: £50,483.00