Robert Harper

Robert William "Bob" Harper, Jr. (nacido ) es profesor de ciencias de la computación en la Universidad Carnegie Mellon, donde trabaja en investigación de lenguajes de programación. Antes de su puesto en Carnegie Mellon, Harper fue investigador asociado en la Universidad de Edimburgo. Carrera Harper realizó importantes contribuciones al diseño del lenguaje de programación Standard ML y del marco lógico LF. Harper fue nombrado ACM Fellow en 2005 por sus contribuciones a los sistemas de tipos para lenguajes de programación. En 2021, recibió el 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, especificación, implementación y verificación de lenguajes de programación modernos". Libros Robin Milner, Mads Tofte, Robert Harper y David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997. Robert Harper (editor). Types in Compilation. Springer-Verlag Lecture Notes in Computer Science, volume 2071, 2001. Robert Harper. Type Systems for Programming Languages. Draft, 2000. Robert Harper. Programming in Standard ML. Working Draft, 2013. Robert Harper. Practical Foundations for Programming Languages, 2007 draft. 2nd edition: , 2016.