stringtranslate.com

Robert Harper (informático)

Robert William Harper, Jr. (nacido en 1957 [2] ) es profesor de informática en la Universidad Carnegie Mellon y trabaja en la investigación de lenguajes de programación . Antes de ocupar su puesto en la Universidad Carnegie Mellon, Harper fue investigador en la Universidad de Edimburgo . [3]

Carrera

Harper hizo contribuciones importantes al diseño del lenguaje de programación ML estándar y al marco lógico LF .

Harper fue nombrado miembro de la ACM en 2005 por sus contribuciones a los sistemas de tipos para lenguajes de programación. En 2021, recibió el premio ACM SIGPLAN Programming Languages ​​Achievement Award por sus "contribuciones fundamentales a nuestra comprensión de la teoría de tipos y su uso en el diseño, la especificación, la implementación y la verificación de los lenguajes de programación modernos". [4]

Premios

Libros

Vida personal

Entre 2003 y 2008, Harper presentó el programa de entrevistas progresista Left Out en WRCT -FM con su compañero presentador y miembro de la facultad de la Facultad de Ciencias de la Computación de la Universidad Carnegie Mellon , Danny Sleator .

Referencias

  1. ^ abc Robert Harper en el Proyecto de Genealogía Matemática
  2. ^ Harper, Robert (2016). Fundamentos prácticos para lenguajes de programación (2.ª ed.). Cambridge University Press. pág. iv.
  3. ^ Robert Harper en LinkedIn
  4. ^ "Premio al logro en lenguajes de programación". www.sigplan.org . Consultado el 27 de enero de 2022 .
  5. ^ "Premios de la facultad de la SCS". www.cs.cmu.edu . Archivado desde el original el 4 de abril de 2002. Consultado el 19 de marzo de 2024 .
  6. ^ "Premio Allen Newell a la excelencia en investigación: ganadores anteriores". www.cs.cmu.edu . Archivado desde el original el 2024-02-05 . Consultado el 2024-03-16 .
  7. ^ "Compilación con tipos" (PDF) . www.cs.cmu.edu . Consultado el 16 de marzo de 2024 .
  8. ^ Harper, R. ; Morrisett, G. (enero de 1995). "Compiling polymorphism with intensional type analysis" (Compilación de polimorfismo con análisis de tipos intensionales). POPL '95: Proc 22nd ACM SIGPLAN-SIGACT Symp on Principles of Programming Languages ​​(22.º Simposio ACM SIGPLAN-SIGACT sobre principios de lenguajes de programación ). San Francisco, California, EE. UU.: ACM . pp. 130–141. doi : 10.1145/199448.199475 . ISBN. 978-0-89791-692-9.
  9. ^ La investigación por la que se otorgó este premio dio como resultado la tesis doctoral de Greg Morrisett , con Harper como coasesor, [7] un artículo de Morrisett y Harper, [8] y algunas otras publicaciones.
  10. ^ "Premio al artículo más influyente de PLDI". www.sigplan.org . Consultado el 16 de marzo de 2024 .
  11. ^ Tarditi, D.; Morrisett, G .; Cheng, P.; Harper, R.; Lee, P. (mayo de 1996). "TIL: un compilador optimizador dirigido por tipos para ML". Avisos SIGPLAN de ACM . 31 (5): 181–192. doi : 10.1145/249069.231414 .
  12. ^ "Simposio ACM/IEEE sobre lógica en informática". Archivado desde el original el 13 de marzo de 2024. Consultado el 16 de marzo de 2024 .
  13. ^ Harper, R. ; Honsell, F.; Plotkin, GD (junio de 1987). "Un marco para definir lógicas". Proc Second Annual IEEE Symp on Logic in Computer Science (LICS 1987) . Ithaca, Nueva York : IEEE Computer Society Press . págs. 194–204.

Enlaces externos


  • en
  • a
  • mi