Conor McBride - Conor McBride

Conor McBride
narozený (1973-02-18) 18. února 1973 (věk 47)
Newtownards, Severní Irsko
Státní občanstvíSpojené království
Alma materUniversity of Edinburgh
Vědecká kariéra
PolePočítačová věda
Teorie typů
TezeZávisle napsané funkční programy a jejich důkazy  (1999)

Conor McBride (narozen 18. února 1973) je odborným asistentem na katedře Počítačové a informační vědy na University of Strathclyde.[1] V roce 1999 absolvoval a doktor filozofie (Ph.D.) v Závisle napsané funkční programy a jejich důkazy[2] na University of Edinburgh za jeho práci v teorie typů.[3] Dříve pracoval v Durham University a krátce na Royal Holloway, University of London před nástupem k akademickým pracovníkům na University of Strathclyde.

Podílel se na vývoji mezinárodní standardy v programování a informatice jako člen Mezinárodní federace pro zpracování informací (IFIP) Pracovní skupina IFIP 2.1 o algoritmických jazycích a výpočtech,[4] který specifikováno, udržuje a podporuje programovací jazyky ALGOL 60 a ALGOL 68.[5]

Upřednostňuje a často používá jazyk Haskell.[6]

Výzkum

Jeho nejpozoruhodnější výzkum je v oblasti teorie typů.[7] Vytvořil programovací jazyk Epigram s Jamesem McKinnou.[8] Několik jeho článků, včetně společně napsaného článku definujícího jazyk Epigram, bylo publikováno v Journal of Functional Programming.[9]

Vybraná bibliografie

  • s Dagandem, Pierre-Evariste (2014). "Přenos funkcí napříč ozdobami". Oznámení ACM SIGPLAN - ICFP. 47 (9): 103–114. arXiv:1201.4801. doi:10.1145/2398856.2364544.
  • s Bentonem, Nickem; Hur, Chung-Kil; Kennedy, Andrew J. (srpen 2012). „Silně napsané výrazy v Coq“ (PDF). Journal of Automated Reasoning. 49 (2): 141–159. CiteSeerX  10.1.1.296.8805. doi:10.1007 / s10817-011-9219-0.
  • s Chapmanem, Jamesem; Dagand, Pierre-Evariste; Morris, Peter (září 2010). „Jemné umění levitace“ (PDF). Oznámení ACM SIGPLAN - ICFP. 45 (9): 3–14. doi:10.1145/1932681.1863547.
  • s Patersonem, Rossem (leden 2008). „Aplikační programování s efekty“ (PDF). Journal of Functional Programming. 18 (1).
  • s Altenkirchem, Thorstenem; Morris, Peter (2007). "Obecné programování se závislými typy" (PDF). Generické programování datových typů. Přednášky z informatiky. 4719. 209–257.
  • s Altenkirchem, Thorstenem; McKinna, James. „Proč záleží na závislých typech“ (PDF). Citovat deník vyžaduje | deník = (Pomoc)
  • s Altenkirch, Thorsten, eds. (2007). Druhy dokladů a programů: Mezinárodní workshop. Springer. ISBN  978-3540744634.
  • - (2006). "Několik staveb na konstruktérech". Typy důkazů a programů. Přednášky z informatiky. 3839. str. 186–200. CiteSeerX  10.1.1.65.327.
  • – (2005). „Epigram: Praktické programování se závislými typy“ (PDF). Pokročilé funkční programování. Přednášky z informatiky. 3622. str. 130–170.
  • s McKinnou, Jamesem (leden 2004). „Pohled zleva“ (PDF). Journal of Functional Programming. 14 (1): 69–111. doi:10.1017 / s0956796803004829.
  • s Abbottem, Michaelem; Altenkirch, Thorsten; Ghani, Neil (2003). „Deriváty kontejnerů“ (PDF). Sborník ze 6. mezinárodní konference o zadaných lambda kalkulech a aplikacích: 16–30.
  • – (2002). „Odstranění motivem“ (PDF). Typy důkazů a programů. Přednášky z informatiky. 2277. 197–216.
  • – (2001). „Derivát běžného typu je typ kontextů s jedním otvorem“ (PDF). Citovat deník vyžaduje | deník = (Pomoc)
  • – (2000). „Závisle napsané funkční programy a jejich důkazy“ (PDF). University of Edinburgh College of Science and Engineering. Citovat deník vyžaduje | deník = (Pomoc)

Video přednášky

Reference

  1. ^ „Dr. Conor McBride: Čtenář: Počítačové a informační vědy“. University of Strathclyde: Computer and Information Sciences.
  2. ^ McBride, Conor (červenec 2000). „Závisle napsané funkční programy a jejich důkazy“. Edinburgh Research Archive. University of Edinburgh. Citováno 15. ledna 2016.
  3. ^ McBride, Conor (1999). „Závisle napsané funkční programy a jejich důkazy“ (PDF). University of Edinburgh.
  4. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17. srpna 2016). „Profil pracovní skupiny IFIP 2.1“. Foswiki. Citováno 16. října 2020.
  5. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2. března 2011). „ScopeEtc: IFIP21: Foswiki“. Foswiki. Citováno 16. října 2020.
  6. ^ McBride, Conore. „Conor zírá z okna“. Počítačové a informační vědy. University of Strathclyde. Citováno 18. srpna 2020.
  7. ^ Altenkirch, Thorsten; McBride, Conore. „Směrem k teorii pozorovacího typu“ (PDF). StrictlyPositive.org.
  8. ^ McBride, Conor; McKinna, James (leden 2004). „Pohled zleva“. Journal of Functional Programming. 14 (1): 69–111. doi:10.1017 / s0956796803004829.
  9. ^ Cambridge Journals Online: Journal of Functional Programming, Conor McBride

externí odkazy