EPSRC logo
Researcher Details
 
Name: Dr C McBride
Organisation: Durham, University of
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/C511964/1 Theory and Applications Of Containers(R)
EP/C512022/1 Observational Equality For Dependently Typed Programming(R)
GR/R72259/01 Epigram: Innovative Programming via Inductive Families(R)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator