Buy Textbooks  |  Rent Textbooks  |  Sell Textbooks  |  eTextbooks
Help  |  Questions? 1-877-292-6442
Hello, Sign In
Your Account
0

Types and Programming Language - 02 edition

Types and Programming Language (ISBN10: 0262162091; ISBN13: 9780262162098)
ISBN13: 978-0262162098
ISBN10: 0262162091

Summary: 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 com ...show moreputer 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. ...show less

Edition/Copyright: 02
Cover: Hardcover
Publisher: MIT Press
Published: 02/01/2002
International: No



List Price: $85.00
Used  Currently Sold Out
New  Currently Sold Out
Rental $71.49
Due back 12/19/2014
Rental
Save $13.51 (16%)
  • Free return shipping
  • In stock
  • 21-day satisfaction guarantee
CDs or access codes may not be included
Marketplace sellers starting at $56.00

20 more offers below.

The Marketplace on Textbooks.com
Additional Sellers for Types and Programming Language
Just for you, we curate a growing list of independent booksellers, giving you even MORE choices when shopping for your textbooks.
Keep in mind: Marketplace orders do NOT qualify for free shipping. More about the MarketplaceMore about the Marketplace

Filter by:   All (20)  |  New (9)  |  Like New (2)  |  Very Good (1)  |  Good (6)  |  Acceptable (2)

Price
 
Condition
Seller
Comments
$77.62
+$3.99 s/h
Add marketplace to your cart
New
Barnes & Noble.com
Various Shipping Locations, USA
Seller Rating: 5
Brand new, ships from the closest shipping location to your shipping address!
$56.00
+$3.99 s/h
Add marketplace to your cart
Good
MotorCityBooks
Brownstown, MI
Seller Rating: 4.59
Minimal damage to cover and binding. Pages show light use. With pride from Motor City. All books guaranteed. Best Service, Best Prices.
$57.12
+$3.99 s/h
Add marketplace to your cart
New
TextbookRush
Grandview Heights, OH
Seller Rating: 4.63
All orders ship SAME or NEXT business day. Expedited shipments will be received in 1-5 business days within the United States. We proudly ship to APO/FPO addresses. 100% Satisfaction Guaranteed!
$61.07
+$3.99 s/h
Add marketplace to your cart
Good
TextbookRush
Grandview Heights, OH
Seller Rating: 4.63
All orders ship SAME or NEXT business day. Expedited shipments will be received in 1-5 business days within the United States. We proudly ship to APO/FPO addresses. 100% Satisfaction Guaranteed!
$76.04
+$3.99 s/h
Add marketplace to your cart
New
GreatBookPrices
Westminster, MD
Seller Rating: 4.19
Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$76.05
+$3.99 s/h
Add marketplace to your cart
New
EuroBooks
Horcott Rd, Fairford,
Seller Rating: 4.41
New Book. Shipped from UK within 4 to 14 business days. Established seller since 2000.
$79.13
+$3.99 s/h
Add marketplace to your cart
LikeNew
GreatBookPrices
Westminster, MD
Seller Rating: 4.19
Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$79.82
+$3.99 s/h
Add marketplace to your cart
Acceptable
GreatBookPrices
Westminster, MD
Seller Rating: 4.19
Used, Acceptable Condition, may show signs of wear and previous use. Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$82.44
+$3.99 s/h
Add marketplace to your cart
New
PaperbackshopUS
Secaucus, NJ
Seller Rating: 4.49
New Book. Shipped from US within 4 to 14 business days. Established seller since 2000
$83.84
+$3.99 s/h
Add marketplace to your cart
New
indoo
Avenel, NJ
Seller Rating: 4.16
BRAND NEW
$97.29
+$3.99 s/h
Add marketplace to your cart
Good
BookHolders MD
College Park, MD
Seller Rating: 4.66
first Good [ No Hassle 30 Day Returns ] [ Edition: first ] Publisher: The MIT Press Pub Date: 2/1/2002 Binding: Hardcover Pages: 645.
Page:   1     2     |   Next >
Close
Close
Close