Types and Programming Languages (The MIT Press) 1st Edition

by Benjamin C. Pierce (Author)

65 ratings

ISBN-13: 978-0262162098

ISBN-10: 0262162091

Why is ISBN important?

Share <Embed>

Other Sellers

from

Other Sellers

See all 9 versions

Due Date: Aug 11, 2022 Rental Details

FREE return shipping at the end of the semester.
Access codes and supplements are not guaranteed with rentals.

In Stock. Rented from Apex_media🍏 , Fulfilled by Amazon

List Price: $95.00
Save:$57.87(61%)

FREE delivery Sunday, May 22

Or fastest delivery Wednesday, May 18. Order within 10 hrs 43 mins

Add to Cart

Used: Good | Details

Sold by gatecitybooks

Access codes and supplements are not guaranteed with used items.

FREE delivery May 24 - June 2. Details

Or fastest delivery May 19 - 24. Details

Only 4 left in stock - order soon.

Ships from and sold by Woodcastle Books.

Available at a lower price from other sellers that may not offer free Prime shipping.

List Price: $95.00 Details

Save: $29.50 (31%)

FREE delivery May 23 - 27. Details

Or fastest delivery May 20 - 24. Details

Available at a lower price from other sellers that may not offer free Prime shipping.

A comprehensive introduction to type systems and programming languages.

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security.

This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.

The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

Total price:

To see our price, add these items to your cart.

Some of these items ship sooner than the others.

Show details Hide details

Choose items to buy together.

by Benjamin C. Pierce Hardcover
$72.35 Get it as soon as Sunday, May 22 FREE Shipping on orders over $25 shipped by Amazon
Only 16 left in stock (more on the way).
Ships from and sold by Amazon.com.
by Benjamin C. Pierce Hardcover
$85.00 Get it as soon as Sunday, May 22 FREE Shipping on orders over $25 shipped by Amazon
Only 15 left in stock (more on the way).
Ships from and sold by Amazon.com.
by Daniel P. Friedman Paperback
$38.00 Get it as soon as Sunday, May 22 FREE Shipping on orders over $25 shipped by Amazon
In Stock.
Ships from and sold by Amazon.com.

Daniel P. Friedman
58
Paperback
26 offers from $15.09
Benjamin C. Pierce
8
Hardcover
24 offers from $42.31
Robert Harper
8
Hardcover
24 offers from $48.88
Robert Nystrom
237
Paperback
13 offers from $39.00
Daniel P. Friedman
153
Paperback
64 offers from $9.91
Daniel P. Friedman
13
Hardcover
34 offers from $29.00

Editorial Reviews

Review

--Robin Milner, Computer Laboratory, University of Cambridge

" Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." --Robin Milner, Computer Laboratory, University of Cambridge

& quot; Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects.& quot; --Robin Milner, Computer Laboratory, University of Cambridge

"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects."--Robin Milner, Computer Laboratory, University of Cambridge

Review

Over the last two decades type theory has emerged as the central, unifying framework for research in programming languages. But these remarkable advances are not as well-known as they should be. The rapid advance of research on type systems for programming languages has far outpaced its dissemination to the rest of the field. No more. Pierce's book not only provides a comprehensive account of types for programming languages, but it does so in an engagingly elegant and concrete style that places equal emphasis on theoretical foundations and the practical problems of programming. This book will be the definitive reference for many years to come.

―Robert Harper, Professor, Computer Science Department, Carnegie Mellon University

Start reading Types and Programming Languages on your Kindle in under a minute.

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Product details

Publisher ‏ : ‎ The MIT Press; 1st edition (February 1, 2002)
Language ‏ : ‎ English
Hardcover ‏ : ‎ 648 pages
ISBN-10 ‏ : ‎ 0262162091
ISBN-13 ‏ : ‎ 978-0262162098
Reading age ‏ : ‎ 18 years and up
Grade level ‏ : ‎ 12 and up
Item Weight ‏ : ‎ 2.85 pounds
Dimensions ‏ : ‎ 9.4 x 8.12 x 1.42 inches

Best Sellers Rank: #309,685 in Books (See Top 100 in Books)
- #244 in Software Design & Engineering
- #589 in Software Development (Books)
- #754 in Computer Programming Languages

Customer Reviews:
65 ratings

About the author

Follow authors to get new release updates, plus improved recommendations.

Benjamin C. Pierce

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

Discover more of the author’s books, see similar authors, read author blogs and more

Customer reviews

5 star		79%
4 star		17%
3 star 0% (0%)		0%
2 star		4%
1 star 0% (0%)		0%

How customer reviews and ratings work

Top reviews from the United States

There was a problem filtering reviews right now. Please try again later.

Amazon Customer

Great book for writing new programing languages.

Reviewed in the United States on December 9, 2019

Verified Purchase

Had to buy the book for a college class. Definitely one of the better written textbooks.

2 people found this helpful

Helpful

Zac Slade

PL enthusiasts should start here

Reviewed in the United States on October 15, 2013

Verified Purchase

This is a great book. Benjamin's style is fairly conversational keeping this very dry and logical topic fresh and inviting. The notation used can seem a little esoteric for the uninitiated, however there is enough detail early on to get you over this hurdle quickly. Soon you will be writing your own substitutions, elimination rules and type judgements needed for any programming language you might want to design.

12 people found this helpful

Helpful

John Nash

An excellent step-by-step guide from simple types and languages to advanced concepts

Reviewed in the United States on March 2, 2013

Verified Purchase

In my opinion the best written and most effective introduction to type theory and programming languages. I am having fun implementing a practical functional programming language with dependent types and this book is always next to me when I code.

11 people found this helpful

Helpful

Four Stars

Reviewed in the United States on December 17, 2017

Verified Purchase

An extraordinarily clear and well written treatment of Programming Language Theory.

One person found this helpful

Helpful

xlnagla

One of the most comprehensive and accessible texts available. ...

Reviewed in the United States on December 18, 2014

Verified Purchase

One of the most comprehensive and accessible texts available. If you want to start learning Programming Language and semantics, this is the place to do it.

8 people found this helpful

Helpful

Amazon Customer

Programmers will be proud to have one

Reviewed in the United States on October 10, 2015

Verified Purchase

Fantastic, very well-written book on exciting topic. It's too big to carry for in-transport reading, so I'll use it at home, and continue reading from phone in parallel.

Helpful

P. Lepin

Awesome book screwed up by terrible translation to electronic format

Reviewed in the United States on June 14, 2014

Verified Purchase

Pierce's book is a classic. Unfortunately, this particular version of it is outright horrible. It pretty much reproduces the format of an actual paper book, preserving the page layout, and sells it as a "feature"... What this means in practice is that it's barely readable on mobile devices, and the smaller the screen the worse it is. If you're vision impaired to boot, just forget about it. To add insult to the injury, you can't read it on Kindle Cloud Reader, for some inexplicable reason.

The book is absolutely great. But I regretted buying this particular version of it.

47 people found this helpful

Helpful

ShNh

Very clear

Reviewed in the United States on October 26, 2013

Verified Purchase

This book explains what you would expect from title in a clear, understandable way for those who are not familiar with programming language theory. It doesn't make assumptions on previous knowledge of the reader.

2 people found this helpful

Helpful

Top reviews from other countries

Translate all reviews to English

Michal

Explains stuff well and is relatively easy to read (for a textbook)

Reviewed in the United Kingdom on September 6, 2015

Verified Purchase

If you are into programming languages, I am recommending the book. Explains stuff well and is relatively easy to read (for a textbook).

2 people found this helpful

kumoyuki

The standard text on type theory

Reviewed in the United Kingdom on October 15, 2014

Verified Purchase

This is the standard text on practical type theory for programming languages. It deserves its place. Reading it is not easy, but then again this is a text for graduate students.

One person found this helpful

Amazon Customer

Great book, thanks

Reviewed in the United Kingdom on February 16, 2016

Verified Purchase

Fast delivery. Great book, thanks.

Amazon Customer

Five Stars

Reviewed in the United Kingdom on May 3, 2016

Verified Purchase

Very good introduction to the topic, with a lot of exercises and solutions.

ghashange

Sehr einleuchtend erklärt

Reviewed in Germany on March 11, 2014

Verified Purchase

Als Anfänger in Type-Systeme hatte ich das Buch begleitend zu einer Vorlesung gelesen und ich muss sagen, es ist die perfekte Ergänzung und ist super verständlich geschrieben.

2 people found this helpful

Translate review to English

See all reviews

Types and Programming Languages (The MIT Press) 1st Edition

Frequently bought together

Customers who viewed this item also viewed

Editorial Reviews

Review

Review

About the Author

Product details

About the author

Benjamin C. Pierce

Customer reviews

Top reviews from the United States

There was a problem filtering reviews right now. Please try again later.

Top reviews from other countries

Types and Programming Languages (The MIT Press) 1st Edition

P.when("rentBoxJS").execute(function(rentBoxJS){ rentBoxJS.initialize(); }); Rent On clicking this link, a new layer will be open $37.13 On clicking this link, a new layer will be open

Buy used: $49.65

Buy new: $65.50

Frequently bought together

Customers who viewed this item also viewed

Editorial Reviews

Review

Review

About the Author

Product details

About the author

Benjamin C. Pierce

Customer reviews

Top reviews from the United States

There was a problem filtering reviews right now. Please try again later.

Top reviews from other countries

Rent On clicking this link, a new layer will be open

$37.13 On clicking this link, a new layer will be open

Buy used:

$49.65

Buy new:

$65.50