Conor McBride (born 18 February 1973) is a Reader in the department ofComputer and Information Sciences at theUniversity of Strathclyde.^[1] In 1999, they completed aDoctor of Philosophy (Ph.D.) inDependently Typed Functional Programs and their Proofs^[2] at theUniversity of Edinburgh for their work intype theory.^[3] They formerly worked atDurham University and briefly atRoyal Holloway, University of London before joining the academic staff at the University of Strathclyde.

They were involved with developinginternational standards in programming and informatics, as a member of theInternational Federation for Information Processing (IFIP)IFIP Working Group 2.1 on Algorithmic Languages and Calculi,^[4] whichspecified, maintains, and supports theprogramming languagesALGOL 60 andALGOL 68.^[5]

They favor and often use the languageHaskell.^[6]

Their most notable research is in the field oftype theory.^[7] They cocreated the programming languageEpigram with James McKinna.^[8] Several of their articles, including the joint-written article defining the Epigram language, have been published in theJournal of Functional Programming.^[9]

• with Dagand, Pierre-Evariste (2014). "Transporting Functions across Ornaments".ACM SIGPLAN Notices.47 (9):103–114.arXiv:1201.4801.doi:10.1145/2398856.2364544.
• with 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.CiteSeerX 10.1.1.296.8805.doi:10.1007/s10817-011-9219-0.S2CID 34005862.
• with Chapman, James; Dagand, Pierre-Evariste; Morris, Peter (September 2010)."The gentle art of levitation"(PDF).ACM SIGPLAN Notices.45 (9):3–14.doi:10.1145/1932681.1863547.
• with Paterson, Ross (January 2008)."Applicative programming with effects"(PDF).Journal of Functional Programming.18 (1).doi:10.1017/S0956796807006326 (inactive 1 November 2024).{{cite journal}}: CS1 maint: DOI inactive as of November 2024 (link)
• with Altenkirch, Thorsten; Morris, Peter (2007)."Generic Programming with Dependent Types"(PDF).Datatype-Generic Programming.Lecture Notes in Computer Science. Vol. 4719. pp. 209–257.
• with Altenkirch, Thorsten; McKinna, James.Why Dependent Types Matter(PDF).
• with Altenkirch, Thorsten, eds. (2007).Types for Proofs and Programs: International Workshop. Springer.ISBN 978-3540744634.
• – (2006). "A Few Constructions on Constructors".Types for Proofs and Programs. Lecture Notes in Computer Science. Vol. 3839. pp. 186–200.CiteSeerX 10.1.1.65.327.
• – (2005)."Epigram: Practical Programming with Dependent Types"(PDF).Advanced Functional Programming. Lecture Notes in Computer Science. Vol. 3622. pp. 130–170.
• with McKinna, James (January 2004)."The view from the left"(PDF).Journal of Functional Programming.14 (1):69–111.doi:10.1017/s0956796803004829.S2CID 6232997.
• with 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.
• – (2002)."Elimination with a Motive"(PDF).Types for Proofs and Programs. Lecture Notes in Computer Science. Vol. 2277. pp. 197–216.
• – (2001).The Derivative of a Regular Type is its Type of One-Hole Contexts(PDF).
• – (2000).Dependently Typed Functional Programs and their Proofs(PDF). University of Edinburgh College of Science and Engineering.

• McBride, Conor (3 February 2011).Dependently Typed Programming: An Agda Introduction (first of 15 lectures) (video). Iain McGinniss.
• McBride, Conor (10 September 2012).ICFP 2012 Monday keynote. Conor McBride: Agda-curious? (video). Malcolm Wallace.

• Official website, University of Strathclyde
• Official website, personal
• Conor McBride at theMathematics Genealogy Project
• Conor McBride atDBLP Bibliography Server

• 1973 births
• Living people
• Academics of the University of Strathclyde
• Alumni of the University of Edinburgh
• British computer programmers
• British computer scientists
• Programming language researchers
• 20th-century British scientists
• 21st-century British scientists

• Articles with short description
• Short description matches Wikidata
• Use dmy dates from February 2017
• Use British English from September 2020
• Articles with hCards
• CS1 maint: DOI inactive as of November 2024
• Official website not in Wikidata