Robert Harper (computer scientist)

Robert William "Bob" Harper, Jr. (born 1957 (age 62–63)[1]) is a computer science professor at Carnegie Mellon University who works in programming language research.

Robert Harper in 2006.

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.

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, 2007 draft. 2nd edition: ISBN 1107150302, 2016.
gollark: I just said prizekin for no reason, didn't *get* any.
gollark: PRIZEKIN
gollark: My old hatchery tried to combine both by refreshing fast and getting UVs from multiple users, and ensuring that eggs were within safe view ranges, but *that's* dead now...
gollark: Autorefreshing is faster but only by one person so you lose UV bonuses.
gollark: Not exactly, really.

References
  1. Harper, Robert (2016). Practical Foundations for Programming Languages (2nd ed.). Cambridge University Press. p. iv.

Bibliography


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.