Compare prices and save on cheap textbooks at CheapestTextbooks.com

Types and Programming Languages (The MIT Press)

Types and Programming Languages (The MIT Press)
Hardcover
Edition:
1
Author:
Benjamin C. Pierce
Publisher:
The MIT Press
Release Date:
2002
ISBN-10:
0262162091
ISBN-13:
9780262162098

Buy vs Rent: We recommend you Buy

This compares the total cost of owning the book (cheapest buy price minus the best sell-back offer today) with the cheapest rental.

Buy
Price:
$68.10
Condition:
Used
Sell Price:
$19.00
Final Cost:
$49.10

VS

Rent
Price:
$59.88
Duration:
60 Days
Sell Price:
None
Final Cost:
$59.88

Disclaimer: These calculations are based on the current advertised price. Your results will vary depending on several factors, including the condition of the book and the advertised price at the time of sale.

Cheapest Price Summary
Price:
$64.13
Shipping:
$3.97
Total:
$68.10

New: $110.77

BiggerBooks
Price:
$110.77
Shipping:
at checkout
Total:
$110.77

Short Term Rental (60 days): $59.88

Knetbooks
Price:
$59.88
Shipping:
at checkout
Total:
$59.88

eBook (365 days): $58.99

eCampus
Price:
$58.99
Shipping:
$0.00
Total:
$58.99

Sell Back: $19.00

eCampus
Price:
$19.00
Shipping:
$0.00
Total:
$19.00

Store Condition Coupons & Deals Price Shipping Total 
VitalSource
eBook
eBook Check price
at VitalSource
at checkout
 
Amazon
New & used
New & used Check price
at Amazon
at checkout
 
AbeBooks
Used & new (marketplace)
Used & new (marketplace) Check price
at AbeBooks
at checkout
 
SellBackBooks
Sell back
Sell back Check price
at SellBackBooks
at checkout
 

Prices checked Oct 20, 2026, 10:43 AM ET. Totals include shipping where the store lists it. As an Amazon Associate, CheapestTextbooks.com earns from qualifying purchases.

About Types and Programming Languages (The MIT Press)

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…

How CheapestTextbooks.com compares prices

When you open this page we ask eCampus, Amazon, Knetbooks, BiggerBooks, VitalSource and RedShelf for their current prices on ISBN 9780262162098 and sort every offer by its total with shipping. Rental rows show the term (semester, quarter or short term) and that term goes with you to the store's cart, and eBook rows link straight to the 180-day or no-expiry option you picked. Prices are rechecked at least every 30 minutes, so confirm the total at checkout.

More Programming Languages textbooks