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
puter 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 more
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 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 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 $41.99
Due back 08/14/2015
Rental
Save $43.01 (51%)
  • Free return shipping
  • In stock
  • 21-day satisfaction guarantee
CDs or access codes may not be included
Marketplace sellers starting at $50.55

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

Price
 
Condition
Seller
Comments
$81.81
+$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.55
+$3.99 s/h
Add marketplace to your cart
Good
Goodwill of Greater Washington
Washington, DC
Seller Rating: 4.66
Good
$56.97
+$3.99 s/h
Add marketplace to your cart
Good
Yankee Clipper Books
Windsor Locks, CT
Seller Rating: 4.57
Book shows a small amount of wear to cover and binding. Some pages show signs of use. Sail the Seas of Value
$70.57
+$3.99 s/h
Add marketplace to your cart
New
EuroBooks
Horcott Rd, Fairford,
Seller Rating: 4.41
New Book. Shipped from UK within 10 to 14 business days. Established seller since 2000.
$70.67
+$3.99 s/h
Add marketplace to your cart
New
STO
Houston, TX
Seller Rating: 4.64
US Edition Book In Mint condition. Shipping with Trackable Method.
$77.83
+$3.99 s/h
Add marketplace to your cart
New
Speedyhen
Sunrise, FL
Seller Rating: 4.64
BRAND NEW. Orders dispatched typically within 2 business days via a TRACKABLE PRIORITY SERVICE. Delivery usually takes 2-4 working days.
$78.40
+$3.99 s/h
Add marketplace to your cart
New
GreatBookPrices
Batavia, IL
Seller Rating: 4.18
Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$78.40
+$3.99 s/h
Add marketplace to your cart
LikeNew
GreatBookPrices
Batavia, IL
Seller Rating: 4.18
Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$81.81
+$3.99 s/h
Add marketplace to your cart
New
PaperbackshopUS
Secaucus, NJ
Seller Rating: 4.48
New Book. Shipped from US within 10 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.15
BRAND NEW
$99.95
+$3.99 s/h
Add marketplace to your cart
Acceptable
omgtextbooks
Pueblo West, CO
Seller Rating: 3.84
Cambridge 2002 Hard cover Fair. Sewn binding. Cloth over boards. 648 p.
Page:   1     2     |   Next >
Close
Close
Close