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.

� propos de l?auteur

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

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

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

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

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

Conditions de vente et de livraison

Conditions g�n�rales de vente

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 SW 234th Avenue
Hillsboro, OR 97123
503-649-7934
gicwbook@gicw.org

Conditions d'exp�dition

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.