Types and Programming Languages

Benjamin C. Pierce

ISBN 10: 0262162091 ISBN 13: 9780262162098

Editorial: MIT Press, 2002

Nuevos HRD

Librer�a: PBShop.store US, Wood Dale, IL, Estados Unidos de America Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 7 de abril de 2005

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

New Book. Shipped from UK. Established seller since 2000. N� de ref. del art�culo H9-9780262162098

Denunciar este art�culo

Sinopsis:

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.

Acerca del autor: Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Detalles bibliogr�ficos

T�tulo: Types and Programming Languages
Editorial: MIT Press
A�o de publicaci�n: 2002
Encuadernaci�n: HRD
Condici�n: New

Los mejores resultados en AbeBooks

Imagen de archivo

Types & Programming Languages

Pierce, Benjamin C

Publicado por MIT Press, 2002

ISBN 10: 0262162091 ISBN 13: 9780262162098

Antiguo o usado Tapa dura

Librería: Anybook.com, Lincoln, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1350grams, ISBN:9780262162098. N� de ref. del art�culo: 9779747

Contactar al vendedor

Comprar usado

EUR 58,83

EUR 15,31 shipping
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Types and Programming Languages (The MIT Press)

Pierce, Benjamin C.

Publicado por The MIT Press, 2002

ISBN 10: 0262162091 ISBN 13: 9780262162098

Antiguo o usado Tapa dura

Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N� de ref. del art�culo: 00093601189

Contactar al vendedor

Comprar usado

EUR 61,73

Gastos de env�o gratis
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

Types and Programming Languages (The MIT Press)

Pierce, Benjamin C.

Publicado por The MIT Press, 2002

ISBN 10: 0262162091 ISBN 13: 9780262162098

Antiguo o usado Tapa dura

Librería: HPB-Red, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Hardcover. Condici�n: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N� de ref. del art�culo: S_448358054

Contactar al vendedor

Comprar usado

EUR 61,74

EUR 3,19 shipping
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Types and Programming Languages

Benjamin C. Pierce

Publicado por The MIT Press, 2002

ISBN 10: 0262162091 ISBN 13: 9780262162098

Antiguo o usado Tapa dura

Librería: Book Alley, Pasadena, CA, Estados Unidos de America

Calificaci�n del vendedor: 4 de 5 estrellas

Hardcover. Condici�n: Good. Good hardcover, no dust jacket as issued. Used with highlighting in text; may have other wear and/or markings but is still in solid reading condition. Pasadena's finest new and used bookstore since 1992. N� de ref. del art�culo: mon0000757958

Contactar al vendedor

Comprar usado

EUR 61,74

EUR 5,11 shipping
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Types and Programming Languages

Pierce, Benjamin C.

Publicado por MIT Press, 2002

ISBN 10: 0262162091 ISBN 13: 9780262162098

Antiguo o usado Tapa dura

Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Hardcover. Condici�n: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. N� de ref. del art�culo: G0262162091I5N00

Contactar al vendedor