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 $50.00

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

Price
 
Condition
Seller
Comments
$88.40
+$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!
$50.00
+$3.99 s/h
Add marketplace to your cart
Good
TextbooksPro
Dayton, OH
Seller Rating: 4.7
Book is in overall good condition!! Cover shows some edge wear and corners are lightly worn. Pages have a minimal to moderate amount of markings. FAST SHIPPING W/USPS TRACKING!!!
$53.25
+$3.99 s/h
Add marketplace to your cart
Good
HPB-California
Concord, CA
Seller Rating: 5
2002 Hardcover Good Item may show signs of shelf wear. Pages may include limited notes and highlighting. Includes supplemental or companion materials if applicable. Access codes may or may not work ...show more. Connecting readers since 1972. Customer service is our top priority. ...show less
$72.91
+$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.
$83.57
+$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.
$83.58
+$3.99 s/h
Add marketplace to your cart
New
PaperbackshopUS
Secaucus, NJ
Seller Rating: 4.48
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
$116.40
+$3.99 s/h
Add marketplace to your cart
New
El Pinarillo Books
Morden,
Seller Rating: 3.43
2002 Hardcover New Book New and in stock. 2/5/2002. *****PLEASE NOTE: This item is shipping from an authorized seller in Europe. In the event that a return is necessary, you will be able to return y ...show moreour item within the US. To learn more about our European sellers and policies see the BookQuest FAQ section***** ...show less
$117.65
+$3.99 s/h
Add marketplace to your cart
New
L Books
Montrouge,
Seller Rating: 2.33
Cambridge 2002 Hard cover New ed. New. Sewn binding. Cloth over boards. 648 p. *****PLEASE NOTE: This item is shipping from an authorized seller in Europe. In the event that a return is necessary, y ...show moreou will be able to return your item within the US. To learn more about our European sellers and policies see the BookQuest FAQ section***** ...show less
$123.00
+$3.99 s/h
Add marketplace to your cart
New
Russell Books
Victoria, BC
Seller Rating: 4.31
Hardcover New 0262162091 Special order direct from the distributor.
Page:   1     2     |   Next >
Close
Close
Close