Search - List of Books by Robert Harper

nRobert Harper 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.

Harper was named an ACM Fellow in 2005. He was awarded this honor for his contributions to type systems for programming languages.

Books   more �

Personal Life   more �

This author page uses material from the Wikipedia article "Robert Harper", which is released under the Creative Commons Attribution-Share-Alike License 3.0
Total Books: 15
Practical Foundations for Programming Languages
2016 - Practical Foundations for Programming Languages (Hardcover)
ISBN-13: 9781107150300
ISBN-10: 1107150302
Genres: Computers & Technology, Reference
  ?

Health and Wellness
2004 - Health and Wellness (Hardcover)
ISBN-13: 9781931283045
ISBN-10: 1931283044
Genre: Health, Fitness & Dieting
  ?

Intermediate Accounting with Becker CPA Review CD-ROM
Intermediate Accounting  Student Solutions Manual
2000 - Intermediate Accounting Student Solutions Manual (Paperback)
ISBN-13: 9780324023282
ISBN-10: 0324023286
Genre: Business & Money
  ?

The Definition of Standard ML - Revised
1997 - The Definition of Standard Ml - Revised (Paperback)Paperback, Hardcover
ISBN-13: 9780262631815
ISBN-10: 0262631814
Genre: Computers & Technology
  ?

The Definition of Standard ML
1990 - The Definition of Standard Ml [Computational Models of Cognition & Perception] (Paperback)Paperback, Hardcover
ISBN-13: 9780262631327
ISBN-10: 0262631326
Genres: Computers & Technology, Reference, Science & Math
  ?

A Guide to Rational Living
1975 - A Guide to Rational Living (Paperback)
ISBN-13: 9780879800420
ISBN-10: 0879800429
Genre: Health, Fitness & Dieting
  • Currently 3.9/5 Stars.
 16

A Guide to Rational Living
A Guide to Rational Living (Paperback)Paperback, Hardcover, Audio Cassette
ISBN-13: 9780615110103
ISBN-10: 061511010X
Genre: Health, Fitness & Dieting
  ?

Projects for Accounting Systems
Projects for Accounting Systems (Other)
ISBN-13: 9780787254193
ISBN-10: 0787254193
Genre: Engineering & Transportation
  ?

The Rise and Fall of Basha Felika Captain Speedy His Life and Times
The  perfect investment system
The Perfect Investment System [almost] (Other)
ISBN-13: 9780965068208
ISBN-10: 096506820X
  ?

Health and Wellness
Health and Wellness (Paperback)
ISBN-13: 9781931283236
ISBN-10: 1931283230
  ?