EPSRC logo
Researcher Details
 
Name: Dr CT McBride
Organisation: University of Strathclyde
Department: Computer and Information Sciences
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Fundamentals of Computing

Current EPSRC Support
EP/M016951/1 Homotopy Type Theory: Programming and Verification(C)
Previous EPSRC Support
EP/J014591/1 Haskell Types with Added Value(P)
EP/G034699/1 Reusability and Dependent Types(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator