Conor McBride
From Wikipedia, the free encyclopedia
| Conor McBride | |
|---|---|
| Born |
1973 Newtownards, Northern Ireland |
| Nationality | British |
| Fields |
Computer science Type theory |
| Alma mater | University of Edinburgh |
Conor McBride (born 1973) is a lecturer in the department of Computer and Information Sciences at the University of Strathclyde.[1] In 1999 he completed a PhD at Edinburgh University for his work in type theory.[2]He previously worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.
Research
His most notable research is in the field of type theory.[3] He co-created the programming language Epigram with James McKinna.[4] Several of his articles, including the joint-written article defining the Epigram language, have been published in the Journal of Functional Programming.[5]
Selected bibliography
- 2012 Transporting Functions across Ornaments [with Pierre-Evariste Dagand], ACM SIGPLAN Notices—ICFP, Vol 47 Issue 9, September 2012, pp 103-114, PDF
- 2012 Strongly Typed Term Representations in Coq [with Nick Benton, Chung-Kil Hur, & Andrew J. Kennedy], Journal of Automated Reasoning, Vol 49, Issue 2, August 2012, pp 141-159, PDF
- 2010 The gentle art of levitation [with James Chapman, Pierre-Evariste Dagand, and Peter Morris], ACM SIGPLAN Notices—ICFP, Vol 45 Issue 9, September 2010, pp 3-14, PDF
- 2008 Applicative programming with effects [with Ross Paterson], Journal of Functional Programming, Publisher: Cambridge University Press, Vol 18 Issue 1, January 2008, PDF
- 2007 Generic Programming with Dependent Types [with Thorsten Altenkirch & Peter Morris], Datatype-Generic Programming, Lecture Notes in Computer Science Vol 4719, 2007, pp 209-257, PDF
- 2006 Why Dependent Types Matter [with Thorsten Altenkirch and James McKinna], PDF
- 2006 Types for Proofs and Programs: International Workshop Editor [with Thorsten Altenkirch], Springer; 2007, ISBN 3540744630
- 2006 A Few Constructions on Constructors, Types for Proofs and Programs, Lecture Notes in Computer Science Vol 3839, 2006, pp 186-200, PDF
- 2005 Epigram: Practical Programming with Dependent Types, Advanced Functional Programming, Lecture Notes in Computer Science, Vol 3622, 2005, pp 130-170, PDF
- 2004 The view from the left [with James McKinna], Journal of Functional Programming, Publisher: Cambridge University Press, Vol 14 Issue 1, January 2004, pp 69 - 111, PDF
- 2003 Derivatives of Containers [with Michael Abbott, Thorsten Altenkirch, and Neil Ghani], Proceedings of the 6th international conference on Typed lambda calculi and applications, 2003. pp 16-30, PDF
- 2002 Elimination with a Motive, Types for Proofs and Programs, Lecture Notes in Computer Science, Vol 2277, 2002, pp 197-216, PDF
- 2001 The Derivative of a Regular Type is its Type of One-Hole Contexts, PDF
- 2000 Dependently Typed Functional Programs and their Proofs, University of Edinburgh College of Science and Engineering, PDF
References
- ↑ University of Strathclyde: Computer and Information Sciences: Staff: McBride, Conor Dr
- ↑ Dependently Typed Functional Programs and their Proofs, by Conor McBride, University of Edinburgh, 1999
- ↑ Towards Observational Type Theory by Thorsten Altenkirch and Conor McBride
- ↑ The view from the left by Conor McBride and James McKinna, Journal of Functional Programming, Volume 14 Issue 1, January 2004, pp 69-111
- ↑ Cambridge Journals Online: Journal of Functional Programming, Conor McBride
External links
- Conor McBride at the Mathematics Genealogy Project
- Computer science bibliography for Conor McBride at DBLP
- Conor McBride's home page
- Video lectures by Conor McBride
- Dependently Typed Programming: an Agda Introduction (First of 15 lectures)
- Agda-curious? Keynote talk at Agda conference
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.