Científico de la computación
Conor McBride (nacido el 18 de febrero de 1973) es lector del departamento de Ciencias de la Información y la Computación de la Universidad de Strathclyde . [1] En 1999, completó un Doctorado en Filosofía (Ph.D.) en Programas funcionales tipificados dependientes y sus pruebas [2] en la Universidad de Edimburgo por su trabajo en teoría de tipos . [3] Anteriormente trabajó en la Universidad de Durham y brevemente en Royal Holloway, Universidad de Londres, antes de unirse al personal académico de la Universidad de Strathclyde.
Estuvo involucrado en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo IFIP 2.1 de la Federación Internacional para el Procesamiento de la Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [4] que especificó , mantiene y soporta los lenguajes de programación ALGOL 60. y ALGOL 68 . [5]
Prefiere y utiliza a menudo el lenguaje Haskell . [6]
Investigación
Su investigación más notable se encuentra en el campo de la teoría de tipos . [7] Cocreó el lenguaje de programación Epigram con James McKinna. [8] Varios de sus artículos, incluido el artículo escrito conjuntamente que define el lenguaje Epigram, se han publicado en el Journal of Functional Programming . [9]
Bibliografía seleccionada
- con Dagand, Pierre-Evariste (2014). "Transporte de funciones entre adornos". Avisos ACM SIGPLAN—ICFP . 47 (9): 103-114. arXiv : 1201.4801 . doi :10.1145/2398856.2364544.
- con Benton, Nick; Hur, Chung-Kil; Kennedy, Andrew J. (agosto de 2012). "Representaciones de términos fuertemente tipados en Coq" (PDF) . Revista de razonamiento automatizado . 49 (2): 141-159. CiteSeerX 10.1.1.296.8805 . doi :10.1007/s10817-011-9219-0. S2CID 34005862.
- con Chapman, James; Dagand, Pierre-Evariste; Morris, Peter (septiembre de 2010). "El suave arte de la levitación" (PDF) . Avisos ACM SIGPLAN—ICFP . 45 (9): 3–14. doi :10.1145/1932681.1863547.
- con Paterson, Ross (enero de 2008). «Programación aplicativa con efectos» (PDF) . Revista de programación funcional . 18 (1). doi :10.1017/S0956796807006326.
- con Altenkirch, Thorsten; Morris, Peter (2007). "Programación genérica con tipos dependientes" (PDF) . Programación genérica de tipos de datos . Apuntes de conferencias sobre informática . vol. 4719, págs. 209–257.
- con Altenkirch, Thorsten; McKinna, James. Por qué son importantes los tipos dependientes (PDF) .
- con Altenkirch, Thorsten, eds. (2007). Tipos de Pruebas y Programas: Taller Internacional . Saltador. ISBN 978-3540744634.
- – (2006). "Algunas construcciones sobre constructores". Tipos de Pruebas y Programas . Apuntes de conferencias sobre informática. vol. 3839, págs. 186-200. CiteSeerX 10.1.1.65.327 .
- – (2005). "Epigrama: programación práctica con tipos dependientes" (PDF) . Programación funcional avanzada . Apuntes de conferencias sobre informática. vol. 3622, págs. 130-170.
- con McKinna, James (enero de 2004). «La mirada desde la izquierda» (PDF) . Revista de programación funcional . 14 (1): 69-111. doi :10.1017/s0956796803004829. S2CID 6232997.
- con Abbott, Michael; Altenkirch, Thorsten; Ghani, Neil (2003). «Derivados de Envases» (PDF) . Actas de la VI Conferencia Internacional sobre cálculos y aplicaciones Lambda mecanografiados : 16–30.
- – (2002). «Eliminación con motivo» (PDF) . Tipos de Pruebas y Programas . Apuntes de conferencias sobre informática. vol. 2277, págs. 197-216.
- – (2001). La derivada de un tipo regular es su tipo de contextos de un solo orificio (PDF) .
- – (2000). Programas funcionales tipificados de forma dependiente y sus pruebas (PDF) . Facultad de Ciencias e Ingeniería de la Universidad de Edimburgo.
Videoconferencias
- McBride, Conor (3 de febrero de 2011). Programación escrita de forma dependiente: una introducción a Agda (primera de 15 conferencias) (video). Iain McGinniss.
- McBride, Conor (10 de septiembre de 2012). Conferencia magistral del lunes de ICFP 2012. Conor McBride: ¿Tienes curiosidad por Agda? (video). Malcolm Wallace.
Referencias
- ^ "Dr. Conor McBride: Lector: Ciencias de la información y la informática". Universidad de Strathclyde: Ciencias de la información y la informática .
- ^ McBride, Conor (julio de 2000). "Programas funcionales tipificados de forma dependiente y sus pruebas". Archivo de investigación de Edimburgo . Universidad de Edimburgo. hdl : 1842/374 . Consultado el 15 de enero de 2016 .
- ^ McBride, Conor (1999). "Programas funcionales tipificados de forma dependiente y sus pruebas" (PDF) . Universidad de Edimburgo.
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 del IFIP". Foswiki . Consultado el 16 de octubre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "AlcanceEtc: IFIP21: Foswiki". Foswiki . Consultado el 16 de octubre de 2020 .
- ^ McBride, Conor. "Conor está mirando por la ventana". Ciencias de la Información y la Computación . Universidad de Strathclyde . Consultado el 18 de agosto de 2020 .
- ^ Altenkirch, Thorsten ; McBride, Conor. "Hacia la teoría de tipos observacionales" (PDF) . Estrictamente Positivo.org .
- ^ McBride, Conor; McKinna, James (enero de 2004). "La vista desde la izquierda". Revista de programación funcional . 14 (1): 69-111. doi : 10.1017/s0956796803004829 . S2CID 6232997.
- ^ Cambridge Journals Online: Revista de programación funcional, Conor McBride
enlaces externos