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.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your email address or mobile phone number.

Qty:1
  • List Price: $82.00
  • Save: $15.30 (19%)
In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.
Advanced Topics in Types ... has been added to your Cart
Condition: Used: Good
Comment: Ships direct from Amazon! Qualifies for Prime Shipping and FREE standard shipping for orders over $25. Overnight and 2 day shipping available!
Sell yours for a Gift Card
We'll buy it for $20.52
Learn More
Trade in now
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See all 2 images

Advanced Topics in Types and Programming Languages Hardcover – December 23, 2004

5 out of 5 stars 2 customer reviews

See all formats and editions Hide other formats and editions
Price
New from Used from
Hardcover
"Please retry"
$66.70
$53.51 $36.25
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Save Up to 90% on Textbooks Textbooks
$66.70 FREE Shipping. In Stock. Ships from and sold by Amazon.com. Gift-wrap available.

Frequently Bought Together

  • Advanced Topics in Types and Programming Languages
  • +
  • Types and Programming Languages
  • +
  • Purely Functional Data Structures
Total price: $172.79
Buy the selected items together

Editorial Reviews

Review

Programming languages need not be designed in an intellectual vacuum;
John Mitchell's book provides an extensive analysis of the fundamental notions
underlying programming constructs. A basic grasp of this material is essential for
the understanding, comparative analysis, and design of programming
languages.

(Luca Cardelli, Digital Equipment Corporation)

About the Author

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
NO_CONTENT_IN_FEATURE

Image
Looking for the Audiobook Edition?
Tell us that you'd like this title to be produced as an audiobook, and we'll alert our colleagues at Audible.com. If you are the author or rights holder, let Audible help you produce the audiobook: Learn more at ACX.com.

Product Details

  • Hardcover: 608 pages
  • Publisher: The MIT Press; 1 edition (December 23, 2004)
  • Language: English
  • ISBN-10: 0262162288
  • ISBN-13: 978-0262162289
  • Product Dimensions: 8 x 1.2 x 9 inches
  • Shipping Weight: 2.6 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (2 customer reviews)
  • Amazon Best Sellers Rank: #761,902 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

5 star
100%
4 star
0%
3 star
0%
2 star
0%
1 star
0%
See both customer reviews
Share your thoughts with other customers

Top Customer Reviews

Format: Hardcover Verified Purchase
This book, like its predecessor, TAPL, is a mandatory text for anyone doing research in programming languages. The chapters are each written by key researchers associated with the topics presented. As many of these topics do not have introductory treatment in the research literature or any other books, these chapters are often the best place to learn about these topics --- all of which appear frequently in modern PL research.
Comment 10 of 11 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Hardcover Verified Purchase
If you want to get into the dependently typed camp and understand its power then you need this book to help you on the path.
Comment 1 of 3 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse

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
Advanced Topics in Types and Programming Languages
This item: Advanced Topics in Types and Programming Languages
Price: $66.70
Ships from and sold by Amazon.com