Robert Harper (computer scientist)
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.
- 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.
|P ≟ NP||This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.|