Conor McBride

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Conor McBride

Born1973 (age 46–47)
NationalityBritish
Alma materUniversity of Edinburgh
Scientific career
FieldsComputer science
Type theory
ThesisDependently Typed Functional Programs and their Proofs (1999)

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 Doctor of Philosophy (Ph.D.) in Dependently Typed Functional Programs and their Proofs[2] at the University of Edinburgh for his work in type theory.[3] He formerly worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.

He was a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1, which supports and maintains the programming languages ALGOL 60 and ALGOL 68.[4]

Research[edit]

His most notable research is in the field of type theory.[5] He cocreated the programming language Epigram with James McKinna.[6] Several of his articles, including the joint-written article defining the Epigram language, have been published in the Journal of Functional Programming.[7]

Selected bibliography[edit]

  • with Dagand, Pierre-Evariste (2014). "Transporting Functions across Ornaments". ACM SIGPLAN Notices—ICFP. 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.
  • with 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.
  • with Paterson, Ross (January 2008). "Applicative programming with effects" (PDF). Journal of Functional Programming. 18 (1).
  • with Altenkirch, Thorsten; Morris, Peter (2007). "Generic Programming with Dependent Types" (PDF). Datatype-Generic Programming. Lecture Notes in Computer Science. 4719. pp. 209–257.
  • with Altenkirch, Thorsten; McKinna, James. "Why Dependent Types Matter" (PDF). Cite journal requires |journal= (help)
  • 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. 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. 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.
  • 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. 2277. pp. 197–216.
  • – (2001). "The Derivative of a Regular Type is its Type of One-Hole Contexts" (PDF). Cite journal requires |journal= (help)
  • – (2000). "Dependently Typed Functional Programs and their Proofs" (PDF). University of Edinburgh College of Science and Engineering. Cite journal requires |journal= (help)

Video lectures[edit]

References[edit]

  1. ^ "Dr Conor McBride: Reader: Computer and Information Sciences". University of Strathclyde: Computer and Information Sciences.
  2. ^ McBride, Conor (July 2000). "Dependently Typed Functional Programs and their Proofs". Edinburgh Research Archive. University of Edinburgh. Retrieved 15 January 2016.
  3. ^ McBride, Conor (1999). "Dependently Typed Functional Programs and their Proofs" (PDF). University of Edinburgh.
  4. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 18 March 2020.
  5. ^ Altenkirch, Thorsten; McBride, Conor. "Towards Observational Type Theory" (PDF). StrictlyPositive.org.
  6. ^ McBride, Conor; McKinna, James (January 2004). "The view from the left". Journal of Functional Programming. 14 (1): 69–111. doi:10.1017/s0956796803004829.
  7. ^ Cambridge Journals Online: Journal of Functional Programming, Conor McBride

External links[edit]