TYPES AND PROGRAMMING LANGUAGES
Language: English
Published by MIT Press, Cambridge, 2002
- Hardcover
- Used
Seller: Second Story Books, ABAA, Rockville, MD, U.S.A.Second Story Books, ABAA
AbeBooks seller since May 29, 1997
Condition: Used
US$ 45.00
Quantity: 1 available
Add to basketItem description from seller
Octavo, xxi, 623 pages. In Good plus condition. Spine is orange with white print on black banner. Boards in illustrated orange paper, white print; light wear to spine caps and corners. Illustrated: b&w diagrams, charts. NOTE: Shelved in Netdesk Column F (ND-F) . 1418105. FP New Rockville Stock.
Seller Inventory # 1418105
- Title
- TYPES AND PROGRAMMING LANGUAGES
- Author
- Pierce, Benjamin C.
- Publisher
- MIT Press, Cambridge
- Publication year
- 2002
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0262162091
- ISBN 13
- 9780262162098
- Item weight
- 3 pounds
- Seller catalogs
- Sciences, Math, Medicine, & Natural History
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 systemsand of programming languages from a type-theoretic perspectivehas 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.
"Synopsis" may belong to another edition of this title.
About the Author
"About the title" may belong to another edition of this title.
Second Story Books, ABAA
Rockville, MD, U.S.A.
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 7.00 | US$ 11.00 |
Payment methods
Store description
DC's Oldest Rare and Used Bookstore, Second Story Books operates two open shops in the Washington D.C. metropolitan area. We have an extensive internet presence, provide accredited appraisals member ASA, and have an in house book binder. For more information go to www.secondstorybooks.com
Specialty
ephemera and graphics, Antiquarian, rare, usedAssociation member
Seller's business information
Second Story Books, ABAA
12160 Parklawn Dr
Rockville, MD U.S.A. 20852
Terms of sale
INCLUDE THE BOOKSELLER INVENTORY/CATALOG NUMBER OF THE TITLE(S) IN QUESTION IN ANY CORRESPONDENCE. Failure to do so may delay responses to inquiries.
PLEASE DO NOT SEND CHECKS OR MONEY ORDERS WITHOUT PRIOR CONFIRMATION OF THE BOOK'S AVAILABILITY. DO NOT SEND CHECKS OR MONEY ORDERS WITHOUT REFERENCE TO THE COMPLETE TITLE & INVENTORY NUMBER
International customers are responsible for all Duties/Taxes/VATs/etc. imposed by their government
**With international shipments, once a package leaves the United States and is accepted by the customer's/recipient's country, the customer/recipient is responsible for tracking their package and resolving any issues regarding customs office requests. The seller cannot contact international customs department or international post offices on a customer's/recipient's behalf. What we, the seller, can do is provide you, the customer/recipient, all the shipping records, tracking information, and any other relevant information and you, the cusomter/recipient, will need to contact your local post office and they will be able to assist you in resolving any customs issues.
If you wish to insure your order and/or have special shipping instructions, please contact the seller via email for details. We are happy to accomodate your shipping needs (within reason).
American Express, Visa, MasterCard, honored.
RULES FOR REFUNDS/RETURNS
Returns/Refunds are handled as detailed by ABE's return policy, which can be found here: https://help.abebooks.com/how-do-i-get-a-refund/. We do ask that you reach out to us, directly via email, regarding your intent to return a package before you send anything back. Failure to comply will complicate and delay your return process.
-PLEASE NOTE- We cannot deviate from these steps in the return/refund process and any request to do so will be declined and ABEbooks customer service will be brough in to serve as a 3rd party mediator. We do not print return labels and requests to do so will be declined. Failure to comply will delay and/or invalidate your return.
Shipping terms
For international shipping, there is really only one method now, Air. So we state one price. We shall gladly reduce your shipping charge if the cost is less than our quoted rate; likewise, if your package costs significantly more, we'll request that you pay an additional amount.