Nisha Rathode (Editor)

Robert Harper (computer scientist)

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Name
  
Robert Harper


Role
  
Computer scientist

Robert Harper (computer scientist) httpsuploadwikimediaorgwikipediacommonsthu

Books
  
Practical Foundations for Programming Languages

Similar People
  
Mads Tofte, Robin Milner, Benjamin C Pierce, John C Reynolds

Programming languages background 1 robert harper oplss 2017


Robert William "Bob" Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research.

Contents

Robert Harper (computer scientist) httpsuploadwikimediaorgwikipediacommonsbb

Programming languages background 8 robert harper oplss 2017


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. He was awarded this honor for his contributions to type systems for programming languages.

Personal life

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.

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.

    • References

    Robert Harper (computer scientist) Wikipedia
    (Text) CC BY-SA