Robert Harper (computer scientist)
Robert William "Bob" Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research.Work
Harper made major contributions to the design of the Standard ML programming language and the LF logical framework.
Harper was named an ACM Fellow in 2005 for his contributions to type systems for programming languages.In 2003–2008, Harper hosted the progressive talk show on WRCT-FM with fellow host and Carnegie Mellon University School of Computer Science faculty member Danny Sleator.Books
- Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML . MIT Press, 1997.
- Robert Harper. '. Springer-Verlag Lecture Notes in Computer Science, volume 2071, 2001.
- Robert Harper. '. Draft, 2000.
- Robert Harper. . Working Draft, 2013.
- Robert Harper. Practical Foundations for Programming Languages, . 2nd edition:, 2016.
