Buy New

$85.00

Only 5 left in stock (more on the way).

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

Turn on 1-Click ordering for this browser

This item ships to France. Want it Monday, July 9? Order within and choose AmazonGlobal Priority Shipping at checkout. Learn more

Select delivery location

Buy Used

$67.89

+ $3.99 shipping

Select delivery location

Used: Very Good | Details

Sold by papercavalier 💂

Turn on 1-Click ordering for this browser

Added to

Unable to add item to List. Please try again.

Other Sellers on Amazon

Add to Cart

$75.60

Sold by: Wordery Specialist

Add to Cart

$82.38

Sold by: SpeedyHen

Add to Cart

$81.27
+ $18.99 shipping

Sold by: awesomebooksusa

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 (The MIT Press) Hardcover – December 23, 2004

by Benjamin C. Pierce (Editor)

2 customer reviews

See all 3 formats and editions Hide other formats and editions

Price

New from

Used from

Hardcover

"Please retry"

$85.00

$71.62

$67.89

Hardcover
$85.00 21 Used from $67.89 20 New from $71.62

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

A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems―the material covered in the first half of the earlier book.Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.

Frequently bought together

Total price: $188.76

These items are shipped from and sold by different sellers. Show details

Buy the selected items together

This item:Advanced Topics in Types and Programming Languages (The MIT Press) by Benjamin C. Pierce Hardcover $85.00
Only 5 left in stock (more on the way).
Ships from and sold by Amazon.com.
FREE Shipping. Details
Types and Programming Languages (The MIT Press) by Benjamin C. Pierce Hardcover $68.76
Only 1 left in stock - order soon.
Ships from and sold by Vault_of_Books.
Basic Category Theory for Computer Scientists (Foundations of Computing) by Benjamin C. Pierce Paperback $35.00
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

20

Hardcover
$68.76
Benjamin C. Pierce

16

Paperback
$35.00
Robert Harper

3

Hardcover
$74.98
Chris Okasaki

20

Paperback
$40.74
Adam Chlipala

2

Hardcover
$58.34
Ian Goodfellow

151

Hardcover
$49.90

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

About the Author

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

Series: The MIT Press
Hardcover: 588 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: 2 customer reviews
Amazon Best Sellers Rank: #458,618 in Books (See Top 100 in Books)
- #2415 in Books > Computers & Technology > Computer Science
- #2576 in Books > Computers & Technology > Software
- #2823 in Books > Computers & Technology > Programming > Languages & Tools

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?

NO_CONTENT_IN_FEATURE

Be the first video

Your name here

Customer Reviews

5.0 out of 5 stars

5 star

4 star (0%)

3 star (0%)

2 star (0%)

1 star (0%)

Write a customer review

See all 2 customer reviews

Top customer reviews

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

Mandatory text for researchers in programming languages

March 6, 2010

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

15 people found this helpful

Helpful

Not Helpful

Comment

Zac Slade

ATAPL is a must read for all PL enthusiasts

October 15, 2013

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

2 people found this helpful

Helpful

Not Helpful

Comment

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: Advanced Topics in 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.

Benjamin C. Pierce

20

Hardcover
$68.76
Benjamin C. Pierce

16

Paperback
$35.00
Greg Michaelson

29

Paperback
$16.73
Chris Okasaki

20

Paperback
$40.74
Charles Petzold

404

Paperback
$21.37
Robert C. Martin

46

in Computer Quality Control
Paperback
$30.82

Pages with related products. See and discover other items: c language

Buy New

$85.00

Turn on 1-Click ordering for this browser

Buy Used

$67.89

Turn on 1-Click ordering for this browser

Other Sellers on Amazon

Advanced Topics in Types and Programming Languages (The MIT Press) Hardcover – December 23, 2004

Frequently bought together

Customers who bought this item also bought

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

Editorial Reviews

Review

About the Author

Product details

Related Video Shorts (0)

Be the first video

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

Customer Reviews

Top customer reviews

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

Set up an Amazon Giveaway

Customers who viewed this item also viewed

Buy New $85.00

Turn on 1-Click ordering for this browser

Buy Used $67.89

Turn on 1-Click ordering for this browser

Sorry, there was a problem.

Sorry, there was a problem.

Other Sellers on Amazon

Advanced Topics in Types and Programming Languages (The MIT Press) Hardcover – December 23, 2004

Frequently bought together

Customers who bought this item also bought

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

Editorial Reviews

Review

About the Author

Product details

Related Video Shorts (0)

Be the first video

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

Customer Reviews

Top customer reviews

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

Set up an Amazon Giveaway

Customers who viewed this item also viewed

Buy New

$85.00

Buy Used

$67.89