Robert Harper

Robert Harper

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.

Back to all authors

Books Authored by Robert Harper

Practical Foundations for Programming Languages, 2nd Edition (Preview)

Post date: 02 May 2008
Covers the foundations of programming languages. Emphasizes on the concept of type structure that governs programming languages syntax and semantics.
Publisher: Cambridge University Press
Publication date: 01 Jul 2015
Document Type: Book
 
Practical Foundations for Programming Languages, 2nd Edition (Preview)

Practical Foundations for Programming Languages, 2nd Edition (Preview)

Post date: 02 May 2008
Covers the foundations of programming languages. Emphasizes on the concept of type structure that governs programming languages syntax and semantics.
Publisher: Cambridge University Press
Publication date: 01 Jul 2015
Document Type: Book


Type Systems for Programming Languages

Post date: 06 Nov 2006
These lecture notes provides a unified account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
Publication date: 01 Jan 2000
Document Type: Lecture Notes
 
Type Systems for Programming Languages

Type Systems for Programming Languages

Post date: 06 Nov 2006
These lecture notes provides a unified account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
Publication date: 01 Jan 2000
Document Type: Lecture Notes


Programming in Standard ML

Post date: 06 Nov 2006
This book is an introduction to programming with the Standard ML, a formally defined programming language.
Publication date: 02 Nov 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Document Type: Book
 
Programming in Standard ML

Programming in Standard ML

Post date: 06 Nov 2006
This book is an introduction to programming with the Standard ML, a formally defined programming language.
Publication date: 02 Nov 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States Document Type: Book


Book Categories
Sponsors