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
Enlarge cover
Rate this book
Clear rating
Open Preview

Practical Foundations for Programming Languages

really liked it 4.00  ·  Rating details ·  36 ratings  ·  2 reviews
Ebook is freely available on the author site:
http://www.cs.cmu.edu/~rwh/pfpl/2nded...
ebook, 582 pages
Published January 30th 2012 by Carnegie Mellon University
More Details... edit details

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
really liked it 4.00  · 
Rating details
 ·  36 ratings  ·  2 reviews


More filters
 | 
Sort order
Sam Pollard
Jan 28, 2019 rated it liked it
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
Irvi
May 15, 2019 rated it really liked it
Though not my first choice of book it still teach me a lot about foundations of programming language
Łukasz Stafiniak
rated it liked it
Jun 30, 2015
John
rated it really liked it
Jan 17, 2015
Yao Li
rated it really liked it
Nov 29, 2018
Jackson Michalak
rated it really liked it
Nov 08, 2018
Dwayne
rated it really liked it
Jun 13, 2013
Eric
rated it really liked it
Mar 01, 2018
Natarajan
rated it it was amazing
Apr 29, 2014
Edgar
rated it liked it
Aug 31, 2013
Rebecca
rated it it was amazing
Dec 01, 2014
Arets  Paeglis
rated it liked it
Jan 09, 2013
Paul Butcher
rated it liked it
Jun 21, 2014
Adam Blinkinsop
rated it really liked it
Dec 15, 2015
Sonal Shilimkar
rated it really liked it
Nov 11, 2018
Michael Bayne
rated it really liked it
Dec 06, 2017
Brandon Kase
rated it it was amazing
Jul 17, 2016
Yosuke
rated it really liked it
Sep 12, 2016
Karl
rated it really liked it
Feb 12, 2013
Claude
rated it really liked it
Aug 07, 2016
Jake
rated it really liked it
Sep 28, 2018
Talal Alrawajfeh
rated it it was amazing
Sep 04, 2018
Debasish Ray Chawdhuri
rated it really liked it
Dec 27, 2014
Blume
rated it liked it
Feb 15, 2013
Moritz Kiefer
rated it really liked it
Sep 04, 2017
Magnus Madsen
rated it it was amazing
Jan 24, 2016
Ilan Godik
rated it it was amazing
Aug 09, 2016
Adam Duracz
rated it really liked it
Aug 16, 2014
James
rated it it was amazing
Sep 02, 2017
Steve
rated it liked it
Feb 21, 2016
« previous 1 next »
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »
18 followers
Robert Harper is a Professor of Computer Science at Carnegie Mellon University.

Librarian Note:
There is more than one author in the Goodreads database with this name.
This profile may contain books from multiple authors of this name.