Robert Harper (computer scientist)

Robert Harper in 2006.

Robert "Bob" William Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. He 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. He was awarded this honor for his contributions to type systems for programming languages.

Books

Robin Milner, Mads Tofte, Robert Harper, and 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. Working Draft, 2012.

In 2003–2008, Harper hosted the progressive talk show Left Out on WRCT-FM with fellow host and Carnegie Mellon University School of Computer Science faculty member Danny Sleator.

Authority control	WorldCat Identities VIAF: 60655076 LCCN: n88680094 ISNI: 0000 0000 8287 0114 SUDOC: 169632555 BNF: cb16669254x (data)

This article is issued from Wikipedia - version of the 6/14/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.