Conor McBride
Conor McBride | |
|---|---|
| Born | 1973 Newtownards, Northern Ireland |
| Nationality | British |
| Alma mater | University of Edinburgh |
| Scientific career | |
| Fields | Computer science Type theory |
Conor McBride (born 1973) is a lecturer in the department of Computer and Information Sciences at the University of Strathclyde who refuses to wear shoes on campus.[1] In 1999 he completed a PhD in 'Dependently Typed Functional Programs and their Proofs'[2] at Edinburgh University for his work in type theory.[3] 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.[4] He co-created the programming language Epigram with James McKinna.[5] Several of his articles, including the joint-written article defining the Epigram language, have been published in the Journal of Functional Programming.[6]
Selected bibliography
- Conor McBride; Dagand, Pierre-Evariste (September 2012). "Transporting Functions across Ornaments". ACM SIGPLAN Notices—ICFP. 47 (9): 103–114. arXiv:1201.4801. doi:10.1145/2398856.2364544.
{{cite journal}}: Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help)CS1 maint: extra punctuation (link) - Conor McBride; Benton, Nick; Hur, Chung-Kil; Kennedy, Andrew J. (August 2012). "Strongly Typed Term representations in Coq" (PDF). Journal of Automated Reasoning. 49 (2): 141–159. doi:10.1007/s10817-011-9219-0.
{{cite journal}}: Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help)CS1 maint: extra punctuation (link) - Conor McBride; Chapman, James; Dagand, Pierre-Evariste; Morris, Peter (September 2010). "The gentle art of levitation" (PDF). ACM SIGPLAN Notices—ICFP. 45 (9): 3–14. doi:10.1145/1932681.1863547.
{{cite journal}}: Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help)CS1 maint: extra punctuation (link) - Conor McBride; Paterson, Ross (January 2008). "Applicative programming with effects" (PDF). Journal of Functional Programming. 18 (1). Cambridge University Press.
{{cite journal}}: Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help)CS1 maint: extra punctuation (link) - Conor McBride; Altenkirch, Thorsten; Morris, Peter (2007). "Generic Programming with Dependent Types". Datatype-Generic Programming (PDF). Lecture Notes in Computer Science. Vol. 4719. pp. 209–257.
{{cite book}}: Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help)CS1 maint: extra punctuation (link) - Conor McBride; Altenkirch, Thorsten; McKinna, James. "Why Dependent Types Matter" (PDF).
{{cite journal}}: Cite journal requires|journal=(help); Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help)CS1 maint: extra punctuation (link) - Conor McBride; Altenkirch, Thorsten, eds. (2007). Types for Proofs and Programs: International Workshop. Springer. ISBN 3540744630.
{{cite book}}: Unknown parameter|editormask1=ignored (|editor-mask1=suggested) (help)CS1 maint: extra punctuation (link) - Conor McBride (2006). "Types for Proofs and Programs". Lecture Notes in Computer Science. 3839: 186–200. CiteSeerX 10.1.1.65.327.
{{cite journal}}:|chapter=ignored (help); Cite journal requires|journal=(help); Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help) - Conor McBride (2005). "Epigram: Practical Programming with Dependent Types". Advanced Functional Programming (PDF). Lecture Notes in Computer Science. Vol. 3622. pp. 130–170.
{{cite book}}: Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help) - Conor McBride; McKinna, James (January 2004). "The view from the left" (PDF). Journal of Functional Programming. 14 (1). Cambridge University Press: 69–111. doi:10.1017/s0956796803004829.
{{cite journal}}: Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help)CS1 maint: extra punctuation (link) - Conor McBride; Abbott, Michael; Altenkirch, Thorsten; Ghani, Neil (2003). "Derivatives of Containers" (PDF). Proceedings of the 6th international conference on Typed lambda calculi and applications: 16–30.
{{cite journal}}: Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help)CS1 maint: extra punctuation (link) - Conor McBride (2002). "Elimination with a Motive". Types for Proofs and Programs (PDF). Lecture Notes in Computer Science. Vol. 2277. pp. 197–216.
{{cite book}}: Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help) - Conor McBride (2001). "The Derivative of a Regular Type is its Type of One-Hole Contexts" (PDF).
{{cite journal}}: Cite journal requires|journal=(help); Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help) - Conor McBride (2000). "Dependently Typed Functional Programs and their Proofs" (PDF). University of Edinburgh College of Science and Engineering.
{{cite journal}}: Cite journal requires|journal=(help); Unknown parameter|authormask1=ignored (|author-mask1=suggested) (help)
References
- ^ University of Strathclyde: Computer and Information Sciences: Staff: McBride, Conor Dr
- ^ McBride, Conor. "Dependently Typed Functional Programs and their Proofs". Edinburgh Research Archive. University of Edinburgh. Retrieved 15 January 2016.
- ^ 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
- Conor McBride at DBLP Bibliography Server
- 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
| International | |
|---|---|
| National | |
| Academics | |
| Other | |