Skip to main content
Swap Used Books - Buy New Books at Great Prices!
How To Swap Books
Sign Up
Search 
Kiosk
PBS Market (New Books)
Book Browser
Advanced Search
Books Posted Today
Member Book Reviews
Award Winning Books
NYT Best Sellers
Amazon Best Sellers
Most Traveled Copies
Club Wish List
Login
Community
Discussion Forums
Book Lists
Blog
Donations
Box-O-Books
Maps
The Eclectic Pen
Fun Stuff
Top 100
Pulse of PBS
Spread The Word
Photo Gallery
Recipes
Club Tag Cloud
Member Testimonials
Help Center
Kiosk
PBS Market (New Books)
Go Shopping
Buy Credits
Buy PBS Money
Upgrade Membership
Gift Certificates
Transfer Credits
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.
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
