Nationality British Name Conor McBride | ||
![]() | ||
Fields Computer Science, Type theory | ||
Icfp 2014 how to keep your neighbours in order conor mcbride
Conor McBride (born 1973) is a lecturer in the department of Computer and Information Sciences at the University of Strathclyde. In 1999 he completed a PhD in 'Dependently Typed Functional Programs and their Proofs' at Edinburgh University for his work in type theory. He previously worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.
Contents
- Icfp 2014 how to keep your neighbours in order conor mcbride
- Tiap conor mcbride type inference needs revolution
- Research
- References
Tiap conor mcbride type inference needs revolution
Research
His most notable research is in the field of type theory. He co-created the programming language Epigram with James McKinna. Several of his articles, including the joint-written article defining the Epigram language, have been published in the Journal of Functional Programming.
References
Conor McBride Wikipedia(Text) CC BY-SA