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

by Benjamin C. Pierce (Author)

20 customer reviews

ISBN-13: 978-0262162098

ISBN-10: 0262162091

Why is ISBN important?

Have one to sell? Sell on Amazon

Added to

Unable to add item to List. Please try again.

Due Date: Dec 18, 2018 Rental Details

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

In Stock. Rented from RentU , Fulfilled by Amazon

List Price: $95.00 Save: $44.46 (47%)

Free Shipping

Select delivery location

Add to Rental Cart

Condition: Used - Good

In Stock. Sold by RentU, Fulfilled by Amazon

Access codes and supplements are not guaranteed with used items.

31 Used from $72.20

FREE Shipping

Select delivery location

Turn on 1-Click ordering

In Stock.

Ships from and sold by Amazon.com. Gift-wrap available.

This item ships to France. Want it Thursday, Aug. 30? Order within and choose AmazonGlobal Priority Shipping at checkout. Learn more

List Price: $95.00
Save: $9.50 (10%)

28 New from $68.69

Select delivery location

Turn on 1-Click ordering

More Buying Choices

28 New from $68.69 31 Used from $72.20 1 Rentals from $50.54

60 offers from $50.54

See All Buying Options

Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

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.

Frequently bought together

Total price: $205.88

One of these items ships sooner than the other. Show details

Buy the selected items together

This item:Types and Programming Languages (The MIT Press) by Benjamin C. Pierce Hardcover $85.50
In Stock.
Ships from and sold by Amazon.com.
FREE Shipping. Details
Advanced Topics in Types and Programming Languages (The MIT Press) by Benjamin C. Pierce Hardcover $76.50
Only 9 left in stock (more on the way).
Ships from and sold by Amazon.com.
FREE Shipping. Details
Purely Functional Data Structures by Chris Okasaki Paperback $43.88
In Stock.
Ships from and sold by Amazon.com.
FREE Shipping. Details

Customers who bought this item also bought

Page 1 of 1 Start overPage 1 of 1

This shopping feature will continue to load items. In order to navigate out of this carousel please use your heading shortcut key to navigate to the next or previous heading.

Benjamin C. Pierce

2

Hardcover
$76.50
Chris Okasaki

20

Paperback
$43.88
Benjamin C. Pierce

16

Paperback
$35.00
Harold Abelson

187

Paperback
$48.88
Graham Hutton

21

Paperback
$40.89
Daniel P. Friedman
Paperback
$34.57

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

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 (Endorsement)

Written by an outstanding researcher, this book is well organized and very clear, spanning both theory and implementation techniques, and reflecting considerable experience in teaching and expertise in the subject.

―John Reynolds, School of Computer Science, Carnegie Mellon University (Endorsement)

Types and Programming Languages is carefully written with a well-balanced choice of topics. It focusses on pragmatics, with the right level of necessary theory. The exercises in this book range from easy to challenging and provide stimulating material for beginning and advanced readers, both programmers and the more theoretically minded.

―Henk Barendregt, Faculty of Science, Mathematics, and Computer Science, University of Nijmegen, The Netherlands (Endorsement)

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 (Endorsement)

See all Editorial Reviews

Product details

Series: The MIT Press
Hardcover: 645 pages
Publisher: The MIT Press; 1 edition (February 1, 2002)
Language: English
ISBN-10: 0262162091
ISBN-13: 978-0262162098
Product Dimensions: 8 x 1.3 x 9 inches
Shipping Weight: 2.9 pounds (View shipping rates and policies)
Average Customer Review: 20 customer reviews
Amazon Best Sellers Rank: #184,030 in Books (See Top 100 in Books)
- #229 in Books > Textbooks > Computer Science > Software Design & Engineering
- #474 in Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- #840 in Books > Textbooks > Computer Science > Programming Languages

Would you like to tell us about a lower price?
If you are a seller for this product, would you like to suggest updates through seller support?

Be the first video

Your name here

Try the Kindle edition and experience these great reading features:

See Kindle Edition

Customer reviews

3 star (0%)

1 star (0%)

Write a customer review

See all 20 customer reviews

Read reviews that mention

Top customer reviews

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

Arthur Maciejewicz

Very Useful for Understanding Typed Functional Programming Languages

September 12, 2015

Format: HardcoverVerified Purchase

Excellent introduction to type theory. I read it because I had become very interested in logic, and the early 20th Century foundational crisis in mathematics (where Type Theory first arose). I write Clojure for my day job, but I am also an avid Haskell enthusiast, and dabble with Idris, Agda, Coq, etc. This book takes you on a whirlwind tour over lambda calculi and type theory, and its successor ATTPL continues with a broader collection of type systems and applications. I also recommend Homotopy Type Theory to readers interested in types, logic, and who are familiar with Category Theory and some Algebraic Topology.

After reading this book, I was able to implement my own simple programming languages from scratch.

2 people found this helpful

Helpful

Not Helpful

Comment

Zac Slade

PL enthusiasts should start here

October 15, 2013

Format: HardcoverVerified 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.

4 people found this helpful

Helpful

Not Helpful

Comment

Four Stars

December 17, 2017

Format: HardcoverVerified Purchase

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

One person found this helpful

Helpful

Not Helpful

Comment

John Nash

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

March 1, 2013

Format: HardcoverVerified 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.

5 people found this helpful

Helpful

Not Helpful

Comment

P. Lepin

Awesome book screwed up by terrible translation to electronic format

June 14, 2014

Format: Kindle EditionVerified 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.

39 people found this helpful

Helpful

Not Helpful

Comment

xlnagla

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

December 18, 2014

Format: HardcoverVerified 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.

3 people found this helpful

Helpful

Not Helpful

Comment

T. Schaeffer

The best book on the subject.

February 22, 2011

Format: HardcoverVerified Purchase

This book is the best book on the subject, as far as I can find. My only complaint is that a lot of the syntax of the language denotation is unsystematic, and a lot of new notation is introduced without explanation. Some of the proofs require definitions that are not given.

3 people found this helpful

Helpful

Not Helpful

Comment

Amazon Customer

Programmers will be proud to have one

October 10, 2015

Format: HardcoverVerified 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

Not Helpful

Comment

Most recent customer reviews

Jacob Barber

Do not get the kindle version if you want a pleasant experience reading this.

This is a great book, but the kindle version is absolutely awful.

Published 10 months ago

Jeffrey Rubard

Type safely

Published in 2002, *Types and Programming Languages* is now a classic of computer science: in it Penn's Benjamin Pierce did what many CS writers fail to do by systematically...Read more

Published on September 27, 2015

Yu Lu

Five Stars

Clear and clean and the book is in great shape.

Published on March 13, 2015

Awesome book but the Kindle version is unreadable

Awesome book but the Kindle version is unreadable, one third of the screen is margin. Have fun zooming in and out.Read more

Published on August 17, 2014

Wojciech Jedynak

A must-buy

Fantastic introduction, very readable. I bought it a few years ago and I still reference it time and time again.

Published on November 10, 2013

ShNh

Very clear

This book explains what you would expect from title in a clear, understandable way for those who are not familiar with programming language theory.Read more

Published on October 26, 2013

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more about Amazon Giveaway

This item: Types and Programming Languages (The MIT Press)

Set up a giveaway

Customers who viewed this item also viewed

Page 1 of 1 Start overPage 1 of 1

This shopping feature will continue to load items. In order to navigate out of this carousel please use your heading shortcut key to navigate to the next or previous heading.

Charles Petzold

406

Paperback
$19.64
Steve McConnell

322

Paperback
$28.05
Robert C. Martin

444

in Software Testing
Paperback
$31.56
Robert Sedgewick

217

Hardcover
$80.00
Chris Okasaki

20

Paperback
$43.88
J Clark Scott

116

Paperback
$18.33

Pages with related products. See and discover other items: language development, category theory, functional programming, c language

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

Turn on 1-Click ordering

Turn on 1-Click ordering

Frequently bought together

Customers who bought this item also bought

Sponsored products related to this item (What's this?)

Editorial Reviews

Review

Review

Product details

Related Video Shorts (0)

Be the first video

Sponsored products related to this item (What's this?)

Try the Kindle edition and experience these great reading features:

Customer reviews

Read reviews that mention

Top customer reviews

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

Most recent customer reviews

Set up an Amazon Giveaway

Customers who viewed this item also viewed

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

Sorry, there was a problem.

Sorry, there was a problem.

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

Buy used On clicking this link, a new layer will be open $72.20 On clicking this link, a new layer will be open

Turn on 1-Click ordering

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

Turn on 1-Click ordering

Frequently bought together

Customers who bought this item also bought

Sponsored products related to this item (What's this?)

Editorial Reviews

Review

Review

Product details

Related Video Shorts (0)

Be the first video

Sponsored products related to this item (What's this?)

Try the Kindle edition and experience these great reading features:

Customer reviews

Read reviews that mention

Top customer reviews

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

Most recent customer reviews

Set up an Amazon Giveaway

Customers who viewed this item also viewed

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

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

Buy used On clicking this link, a new layer will be open

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

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

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