Dr Conor McBride

Reader

Computer and Information Sciences

Publications

I got plenty o’ nuttin’
McBride Conor
A List of Successes That Can Change the WorldLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol 9600, pp. 207-233, (2016)
http://dx.doi.org/10.1007/978-3-319-30936-1_12
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Lindley Sam, McBride Conor, Trinder Phil, Sannella Don
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol 9600, (2016)
http://dx.doi.org/10.1007/978-3-319-30936-1
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
Small induction recursion
Hancock Peter, McBride Conor, Ghani Neil, Malatesta Lorenzo, Altenkirch Thorsten
Typed Lambda Calculus and ApplicationsLecture Notes in Computer Science Vol 7941, pp. 156-172, (2013)
http://dx.doi.org/10.1007/978-3-642-38946-7_13

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

Real World Data with Dependent Types: Integrity and Interoperation
McBride, Conor (Principal Investigator)
Period 01-Apr-2016 - 31-Mar-2019
Homotopy Type Theory: Programming and Verification
Ghani, Neil (Principal Investigator) McBride, Conor (Co-investigator)
Period 01-Apr-2015 - 31-Mar-2019
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
Doctoral Training Grant | Andjelkovic, Stevan
McBride, Conor (Principal Investigator) Ghani, Neil (Co-investigator) Andjelkovic, Stevan (Research Co-investigator)
Period 01-Oct-2011 - 01-Apr-2015

more projects