Robert William " Bob " Harper, Jr. (nacido en 1957 (63–64 años) [1] ) es un profesor de informática en la Universidad Carnegie Mellon que trabaja en la investigación de lenguajes de programación . Antes de ocupar su puesto en Carnegie Mellon, Harper fue investigador en la Universidad de Edimburgo . [2]
Trabaja
Harper hizo importantes contribuciones al diseño del lenguaje de programación Standard ML y el marco lógico LF .
Harper fue nombrado ACM Fellow en 2005 por sus contribuciones a los sistemas de tipos para lenguajes de programación.
Vida personal
En 2003–2008, Harper presentó el programa de entrevistas progresivo Left Out en WRCT-FM con su compañero anfitrión y miembro de la facultad de Ciencias de la Computación de la Universidad Carnegie Mellon , Danny Sleator .
Libros
- Robin Milner , Mads Tofte , Robert Harper y David MacQueen . Definición de NM estándar (revisada) . Prensa del MIT, 1997.
- Robert Harper (editor). Tipos de compilación . Springer-Verlag Lecture Notes in Computer Science, volumen 2071, 2001.
- Robert Harper. Sistemas de tipo para lenguajes de programación . Borrador, 2000.
- Robert Harper. Programación en ML estándar . Borrador de trabajo, 2013.
- Robert Harper. Fundamentos prácticos para lenguajes de programación , borrador de 2007 . 2a edición: ISBN 1107150302 , 2016.
Referencias
- ^ Harper, Robert (2016). Fundamentos prácticos de los lenguajes de programación (2ª ed.). Prensa de la Universidad de Cambridge. pag. iv.
- ^ Robert Harper en LinkedIn
Bibliografía
- Página de Robert Harper
- Tipo existencial , blog de Robert Harper