Dr Conor McBride

Lecturer

Computer and Information Sciences

Publications

How to keep your neighbours in order
McBride Conor
ICFP '14 Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pp. 297-309, (2014)
http://dx.doi.org/10.1145/2628136.2628163
Transporting functions across ornaments
Dagand Pierre-Évariste, McBride Conor
Journal of Functional Programming Vol 24, pp. 316-383, (2014)
http://dx.doi.org/10.1017/S0956796814000069
Productive coprogramming with guarded recursion
Atkey Robert, McBride Conor
Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming, (2013)
http://dx.doi.org/10.1145/2500365.2500597
Strongly typed term representations in Coq
Benton Nick, Hur Chung-Kil, Kennedy Andrew, McBride Conor
Journal of Automated Reasoning Vol 49, pp. 141-159, (2012)
http://dx.doi.org/10.1007/s10817-011-9219-0
Transporting functions across ornaments
Dagand Pierre-Evariste, McBride Conor
ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, pp. 104-113, (2012)
http://dx.doi.org/10.1145/2364527.2364544
A tutorial implementation of a dependently typed lambda calculus
Löh Andres, Mcbride Conor, Swierstra Wouter
Fundamenta Informaticae Vol 102, pp. 177-207, (2010)
http://dx.doi.org/10.3233/FI-2010-304

more publications

Professional activities

Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
Visitor
2010
Member of IFIP Working Group 2.1 since Spring 2010.
Member
2010
ICFP 2009
Member of programme committee
2009
Vol 19, Issues 3 & 4 (Special Issue on Mathematically Structured Functional Programming
Guest editor
1/2008
Journal of Functional Programming
Editor
1/2008

more professional activities

Projects

Homotopy Type Theory: Programming and Verification
Ghani, Neil (Principal Investigator) McBride, Conor (Co-investigator)
Period 01-Jan-2015 - 31-Dec-2018
CORCON (FP7 IRSES)
Ghani, Neil (Principal Investigator) Kupke, Clemens (Co-investigator) McBride, Conor (Co-investigator)
Period 01-Jan-2014 - 31-Dec-2017
Haskell Types with Added Value
McBride, Conor (Principal Investigator)
Period 01-Jul-2012 - 30-Jun-2013
Reusability and Dependent Types
Ghani, Neil (Principal Investigator) McBride, Conor (Co-investigator)
Period 01-Oct-2009 - 30-Sep-2013

more projects