Professor Robert Harper

Professor Robert Harper

Robert Harper is a professor in the Computer Science Department at Carnegie Mellon University, where he has been a member of faculty since 1988. His main research interest is in the application of type theory to the design and implementation of programming languages and to the development of systems for mechanization of mathematics. Robert Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence at Carnegie Mellon, and is an ACM Fellow.

Customers Also Bought Items By

Benjamin C. Pi...	Chris Reade
Chris Okasaki	Jeffrey D. Ullman
Andrew W. Appel	Jean H. Gallier
Richard Bird	Michael R. Hansen
Lawrence C. Pa...	Yoshua Bengio
Yaron Minsky	Ian Goodfellow
Anil Madhavapeddy	Aaron Courville
Jason Hickey	Herman Geuvers

Are You an Author?

Help us improve our Author Pages by updating your bibliography and submitting a new or current image and biography.

› Learn more at Author Central

$82.44
Hardcover
$42.99
Paperback
$30.00
Paperback
Types in Compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000: Proceedings (Lecture Notes in Computer Science, Vol. 1473)

No Image Available

$22.91
Hardcover

Books by Professor Robert Harper

Showing 4 Results Books : Advanced Search

Practical Foundations for Programming Languages
Apr 4, 2016
by Robert Harper
Hardcover
^$ 32 ⁹⁹ to rent
^$ 82 ⁴⁴ to buy
FREE Shipping on eligible orders
Only 18 left in stock - order soon.
More Buying Choices
$55.70(23 used & new offers)
Kindle Edition
^$ 57 ⁷⁹
Auto-delivered wirelessly
2
Trade in yours for an Amazon Gift Card up to $10.01
Practical Foundations for Programming Languages
Jul 20, 2017
by Robert Harper
Paperback
^$ 42 ⁹⁹
FREE Shipping on eligible orders
In Stock
More Buying Choices
$39.37(6 used & new offers)
Kindle Edition
^$ 57 ⁶⁰
Auto-delivered wirelessly
Other Formats:Hardcover
6
The Definition of Standard ML (MIT Press)
May 21, 1997
by Robin Milner and Robert Harper
Kindle Edition
^$ 27 ⁹⁹
Auto-delivered wirelessly
Paperback
^$ 30 ⁰⁰
FREE Shipping on eligible orders
Only 1 left in stock - order soon.
More Buying Choices
$14.20(34 used & new offers)
Other Formats:Printed Access Code
3
Types in Compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000: Proceedings (Lecture Notes in Computer Science, Vol. 1473)
2001
Hardcover
$22.91(12 used & new offers)
Paperback
^$ 16 ⁹⁵ $99.00
Only 4 left in stock - order soon.
More Buying Choices
$4.51(18 used & new offers)

See search results for author "Professor Robert Harper" in Books