Picture 1 of 1
Benjamin C. Pierce Types and Programming Languages (Hardback) (UK IMPORT)
Another great item from Rarewaves | Free delivery!
Condition:
More than 10 available
Shipping:
Located in: GU14 0GT, United Kingdom
Delivery:
Varies
Returns:
Payments:
Shop with confidence
Seller information
- 98.4% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:276257514985
Item specifics
- Condition
- Book Title
- Types and Programming Languages
- Publication Name
- Types and Programming Languages
- Title
- Types and Programming Languages
- Format
- Hardcover
- ISBN-10
- 0262162091
- EAN
- 9780262162098
- ISBN
- 9780262162098
- Publisher
- MIT Press
- Genre
- Computing & Internet
- Release Year
- 2002
- Release Date
- 04/01/2002
- Language
- English
- Country/Region of Manufacture
- US
- Item Height
- 1.5in
- Item Length
- 9.3in
- Item Width
- 8.3in
- Item Weight
- 47 Oz
- Publication Year
- 2002
- Type
- Textbook
- Number of Pages
- 648 Pages
About this product
Product Information
A comprehensive introduction to type systems and programming languages. 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.
Product Identifiers
Publisher
MIT Press
ISBN-10
0262162091
ISBN-13
9780262162098
eBay Product ID (ePID)
1989432
Product Key Features
Publication Name
Types and Programming Languages
Format
Hardcover
Language
English
Publication Year
2002
Type
Textbook
Number of Pages
648 Pages
Dimensions
Item Length
9.3in
Item Height
1.5in
Item Width
8.3in
Item Weight
47 Oz
Additional Product Features
Lc Classification Number
Qa76.7.P54 2002
Reviews
"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." -Robin Milner, Computer Laboratory, University of Cambridge
Copyright Date
2002
Topic
Programming Languages / General
Lccn
2001-044428
Dewey Decimal
005
Intended Audience
Trade
Dewey Edition
21
Illustrated
Yes
Genre
Computers
Item description from the seller
Business seller information
Value Added Tax Number:
- GB 864 1548 11
Seller assumes all responsibility for this listing.
eBay item number:276257514985
Shipping and handling
Item does not ship to United States
Item location:
GU14 0GT, United Kingdom
Ships to:
Albania, Algeria, American Samoa, Americas, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Asia, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Barbados, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Europe, Falkland Islands (Islas Malvinas), Fiji, Finland, French Guiana, French Polynesia, Gabon Republic, Gambia, Georgia, Ghana, Gibraltar, Greece, Greenland, Grenada, Guadeloupe, Guam, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Israel, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Marshall Islands, Martinique, Mauritania, Mauritius, Mayotte, Mexico, Micronesia, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nepal, Netherlands Antilles, New Caledonia, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Palau, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Puerto Rico, Qatar, Republic of Croatia, Republic of the Congo, Reunion, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, South Africa, South Korea, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Venezuela, Vietnam, Virgin Islands (U.S.), Wallis and Futuna, Western Sahara, Western Samoa, Zambia, Zimbabwe
Excludes:
Afghanistan, Australia, Austria, Belarus, France, Germany, Ireland, Italy, Libya, Nauru, Netherlands, Russian Federation, Somalia, Spain, Switzerland, Ukraine, United Kingdom, United States, Yemen
| Handling time |
|---|
| Will usually ship within 3 business days of receiving cleared payment. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases |
Sales tax for an item #276257514985
Sales tax for an item #276257514985
Seller collects sales tax for items shipped to the following provinces:
| Province | Sales Tax Rate |
|---|
Return policy
| After receiving the item, contact seller within |
|---|
| 30 days after the buyer receives it |
The buyer is responsible for return shipping costs.
Payment details
Payment methods
Popular categories from this store
Seller feedback (182,714)
u***n (38)- Feedback left by buyer.
Past 6 months
Verified purchase
Product is 95% alike picture but a little more blurry. Controller play well but had a notice from psn that my joypad wasn't authentic and could by problematic🤷♂️ no trouble so far! Shipping was fast but no tracking and worst packaging ever.. like the box came banged up... send a question to seller never had a reply 😅.... Good product overall, excellent price, fast shipping, wrapped only on 4 sides out of 6, no tracking and never reply... 4★ product / 2★ seller ✌️
l***t (120)- Feedback left by buyer.
Past 6 months
Verified purchase
The book is in perfect condition, brand new, and is exactly as described. This item is difficult to find here, and the seller priced it very reasonably. It shipped from the UK to Canada, and unfortunately took a little longer to arrive than the seller hoped, but it was shipped less than 24 hours after I purchased. When I contacted the seller, they were very responsive and helpful. I would not hesitate to purchase from this seller again. Definitely recommend!
s***a (696)- Feedback left by buyer.
Past month
Verified purchase
AAA seller. Item came as described and within the due date. Great communication. Well packed and no damage to the case.
Product ratings and reviews
More to explore:
- Computer & IT Nonfiction Books Fiction & Programming Languages,
- Computer & IT Hardcover Nonfiction Programming Languages Books,
- Computer & IT Nonfiction Paperbacks Books Programming Languages,
- Nonfiction Books in English Fiction & Programming Languages,
- Hardcover Nonfiction Books Programming Languages Illustrated,
- English Language Courses,
- Language Courses,
- Spanish Language Course,
- Workbook Language Course,
- Japanese Language Course