Types and Programming Languages (Mit Press)
Language: English
Published by MIT Press, 2002
- First Edition
- Hardcover
- Used
Seller: Textbooks_Source, Columbia, MO, U.S.A.Textbooks_Source
AbeBooks seller since November 10, 2017
Condition: Used - Good
US$ 76.76
Quantity: 1 available
Add to basketItem description from seller
Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
Seller Inventory # 000563352U
- Title
- Types and Programming Languages (Mit Press)
- Author
- Pierce, Benjamin C.
- Publisher
- MIT Press
- Publication year
- 2002
- Condition
- Good
- Binding
- hardcover
- Language
- English
- ISBN 10
- 0262162091
- ISBN 13
- 9780262162098
- Edition
- 1st Edition.
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.
Textbooks_Source
Columbia, MO, U.S.A.
AbeBooks seller since November 10, 2017
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 3.99 | US$ 6.99 |
Payment methods
Store description
Textbooks_Source is committed to selling new and used books for less money. We offer fast shipping & handling and dedicated customer service support to ensure that you have a great experience as our customer. Thank you for shopping with us!
Specialty
Textbooks and TradeSeller's business information
TXTB.com, LLC
2711 W. Ash St.
Columbia, MO U.S.A. 65203
Terms of sale
We guarantee the condition of every book as it’s described on the AbeBooks websites. If you are not satisfied with your purchase or if the order has not arrived yet, you are eligible for a refund within 30 days of the estimated delivery date. If you have any questions about an order, please us the “Ask Bookseller a Question” link to contact us and we will respond within 2 business days.
Shipping terms
All orders ship from our warehouse, centrally located in Columbia, Missouri. Orders usually ship on the same or next business day (Monday – Friday).