17 books
—
2 voters
Goodreads helps you keep track of books you want to read.
Start by marking “Practical Foundations for Programming Languages” as Want to Read:
Practical Foundations for Programming Languages
by
Ebook is freely available on the author site:
http://www.cs.cmu.edu/~rwh/pfpl/2nded...
http://www.cs.cmu.edu/~rwh/pfpl/2nded...
ebook, 582 pages
Published
January 30th 2012
by Carnegie Mellon University
Friend Reviews
To see what your friends thought of this book,
please sign up.
Reader Q&A
To ask other readers questions about
Practical Foundations for Programming Languages,
please sign up.
Be the first to ask a question about Practical Foundations for Programming Languages
Community Reviews
Showing 1-30
While not a bad book, this should not be a first book on type theory and programming languages.
Robert Harper's syntax is terse to put it kindly and his lack of concrete examples can make an already abstract topic unapproachable. Additionally, he uses notation used and known only to him. This notation is consistent throughout his book but differs greatly from, e.g., Pierce's Types and Programming Languages which follows existing literature much more closely.
This approach I think works well when y ...more
Robert Harper's syntax is terse to put it kindly and his lack of concrete examples can make an already abstract topic unapproachable. Additionally, he uses notation used and known only to him. This notation is consistent throughout his book but differs greatly from, e.g., Pierce's Types and Programming Languages which follows existing literature much more closely.
This approach I think works well when y ...more
There are no discussion topics on this book yet.
Be the first to start one »
