Английская Википедия:Conor McBride

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:EngvarB Шаблон:Use dmy dates Шаблон:Use British English Шаблон:Infobox scientist Conor McBride (born 18 February 1973) is a Reader 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 involved with developing international standards in programming and informatics, as a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi,[4] which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.[5]

He favors and often uses the language Haskell.[6]

Research

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

Selected bibliography

Video lectures

References

Шаблон:Reflist

External links

Шаблон:Haskell programming Шаблон:Authority control

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Шаблон:Cite web
  2. ↑ Шаблон:Cite journal
  3. ↑ Шаблон:Cite web
  4. ↑ Шаблон:Cite web
  5. ↑ Шаблон:Cite web
  6. ↑ Шаблон:Cite web
  7. ↑ Шаблон:Cite web
  8. ↑ Шаблон:Cite journal
  9. ↑ Cambridge Journals Online: Journal of Functional Programming, Conor McBride
Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Conor_McBride&oldid=14050836