Epigram I: Innovative programming via inductive families

Project: Research

StatusFinished
Effective start/end date1/12/0130/09/04

Funding

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

ID: 21702192