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.

About the Author

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

"About this title" may belong to another edition of this title.

Store Description

We are a division of Goodwill Industries of the Columbia Willamette, headquartered in Portland, Oregon, U.S.A. When you buy from Goodwill Books not only will you feel happy about the money you save, you'll feel good knowing your purchase helps Goodwill provide vocational opportunities to people with barriers to employment. For more information please visit our website: www.goodwillbooks.com

Visit Seller's Storefront

Seller's business information

Goodwill Books
2920 SE Century Blvd, Hillsboro, OR, 97123, U.S.A.

Sale & Shipping Terms

Terms of Sale

All books subject to prior sale. Books shipped via USPS Media Mail or Priority Mail. Extra postage required for heavy books and sets unless otherwise noted. Payment in U.S. dollars via VISA/MASTERCARD/DISCOVER. Sorry, we do not accept checks or money orders. Purchases may be returned within 14 days of receipt for refund; refund will be initiated upon receipt of returned book.

Goodwill Books
2920 SE Century Blvd
Hillsboro, OR 97123
gicwbook@gicw.org

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.