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 $40.99
Due back 12/19/2014
Rental
Save $44.01 (52%)
  • Free return shipping
  • In stock
  • 21-day satisfaction guarantee
CDs or access codes may not be included
Marketplace sellers starting at $54.98

17 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 (17)  |  New (8)  |  Like New (2)  |  Very Good (2)  |  Good (4)  |  Acceptable (1)

Price
 
Condition
Seller
Comments
$81.74
+$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!
$54.98
+$3.99 s/h
Add marketplace to your cart
VeryGood
oblivion books wa
seattle, WA
Seller Rating: 4.71
2002 Hardcover Pictorial boards Hard cover. Oversized. ? Previous owner name stamped on first page. Otherwise, Clean text--NO writing, NO highlighting to text. ? Very Good condition. Hard cover in d ...show moreust jacket or in pictorial boards. ? Oversized. ? Clean text--NO writing, NO highlighting to text. ? Very Good condition. PLEASE NOTE: Domestic US media (standard) US orders ONLY. ? NO international orders. ...show less
$62.43
+$3.99 s/h
Add marketplace to your cart
New
textbook_rebellion2
Troy, MI
Seller Rating: 4.75
0262162091 Choose Expedited shipping for fastest delivery. Satisfaction Guaranteed. Orders ship within 1-2 business days w/ free USPS tracking.
$64.14
+$3.99 s/h
Add marketplace to your cart
Good
northeastbooks FL
Miami, FL
Seller Rating: 1
Hardcover Good 0262162091 Good to VERY GOOD physical shape and/or light to moderate markings/highlight! A great value priced book! Same or next day processing! Choose EXPEDITED for super fast deliv ...show moreery! May or may not include CD or other supplemental materials. ...show less
$76.94
+$3.99 s/h
Add marketplace to your cart
New
EuroBooks
Horcott Rd, Fairford,
Seller Rating: 4.4
New Book. Shipped from UK within 4 to 14 business days. Established seller since 2000.
$77.91
+$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.
$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.
$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
$95.75
+$3.99 s/h
Add marketplace to your cart
Good
Crashing Rocks Bookstore
Punta Gorda, FL
Seller Rating: 3.91
0262162091 USED BOOK in good condition| No supplements| Normal wear to cover, edges, spine, corners, and pages | Writing / highlighting | Inventory stickers | Satisfaction guaranteed!
$123.00
+$3.99 s/h
Add marketplace to your cart
New
Russell Books
Victoria, BC
Seller Rating: 4.32
Hardcover New 0262162091 Special order direct from the distributor.
Page:   1     2     |   Next >
Close
Close
Close