|
| 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
|
| |
|
|
|
|