Robert "Bob" William Harper, Jr. is a professor in the Computer Science Department at the Carnegie Mellon University. His research interest is mathematical principles of programming. He made major contributions to the design of the Standard ML programming language and the LF logical framework.
Books Authored by Robert Harper
Practical Foundations for Programming Languages, 2nd Edition (Preview)
Post date: 02 May 2008Practical Foundations for Programming Languages, 2nd Edition (Preview)
Post date: 02 May 2008Type Systems for Programming Languages
Post date: 06 Nov 2006Type Systems for Programming Languages
Post date: 06 Nov 2006