- Hardcover: 487 pages
- Publisher: Cambridge University Press; 1 edition (December 17, 2012)
- Language: English
- ISBN-10: 1107029570
- ISBN-13: 978-1107029576
- Product Dimensions: 7 x 1.2 x 10 inches
- Shipping Weight: 2.1 pounds (View shipping rates and policies)
- Average Customer Review: 7 customer reviews
- Amazon Best Sellers Rank: #819,381 in Books (See Top 100 in Books)
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
Practical Foundations for Programming Languages 1st Edition
Use the Amazon App to scan ISBNs and compare prices.
The Amazon Book Review
Author interviews, book reviews, editors picks, and more. Read it now
Frequently bought together
Customers who bought this item also bought
"Harper's book provides a comprehensive treatment of the foundations of computation. He touches on a surprising range of concepts that arise in language design: from simple types to polymorphism to dependent types to modules; from strict to lazy to parallel computation; and from proof techniques for reasoning about extensional behavior to practical, compositional cost models in the presence of garbage collection. More importantly, throughout the book he uses types and the principles of type theory to organize the material and help us discover the orthogonal, composable abstractions that arise naturally not only in the design of programming languages but also in logics and mathematics. This approach helps uncover the fundamental structure lurking inside programming languages of today, and provides a principled approach to the designs for tomorrow."
Greg Morrisett, School of Engineering and Applied Sciences, Harvard University
"Starting with a mathematically simple framework and organizing principles that give type systems a central role, Bob Harper's magnum opus reveals the theory of programming languages as a coherent scientific subject with both breadth and elegance. His enormous experience, pithy views, and great good taste are evident throughout a book that deserves to become a classic."
Andrew Pitts, Computer Laboratory, University of Cambridge
"This book offers an excellent introduction to a wide range of programming language concepts. They are all uniformly and carefully explained, using techniques that are very useful in practice for both analysis and implementation of programming languages. The book is authored by one of the most prominent researchers in type theory for programming languages. The presentation is very effective and based on the author's years of experience teaching the material."
Lars Birkedal, Professor, IT University of Copenhagen
In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of programming languages through the use of type theory. Whereas most textbooks on this subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. The result is an introduction to programming theory that is both accessible and practical.
Top customer reviews
There was a problem filtering reviews right now. Please try again later.
The one thing I would have also liked to see in this book was a set of self-study problems. He has been working with and teaching this material for many years, and example problems that capture the common mistakes he has seen from students and other researchers would have helped me as I studied this book on my own.
1) If you are a graduate student and this is a required text.
2) If you are working on creating proprietary programming language. This book becomes invaluable at this point. The core structure of various programming languages allows the student to learn the guidelines for building their own programming language.
The student should already have familiarity with several styles of programming language and a firm base of advanced mathematics. If you are attempting to learn a specific programming language, this book can assist on understanding the history and framework used to create said language, but the student is better off selecting a text specifically designed for that programming language.
I've already reported the page to Amazon -- hopefully they'll take action soon.
What this is for, is advanced programmers who want to understand how programming languages are written, or to write one of their own.
It's more academic than practical. It's good but was a bit over my head, even though I program for a living.