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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Types and Programming Languages (The MIT Press)
Imagen del vendedor
Types and Programming Languages (Mit Press)
Librería: Goodwill Southern California, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Hardcover Book. Nº de ref. del artículo: LACV.0262162091.G
Comprar usado
EUR 57,38
Envío por EUR 2,57
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Types and Programming Languages (Mit Press)
Librería: Goodbooks Company, Springdale, AR, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Book has corner edge dings and or scratches and signs of light wear. Nº de ref. del artículo: GBV.0262162091.G
Comprar usado
EUR 56,50
Envío por EUR 4,28
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Types and Programming Languages (Mit Press)
Librería: Zoom Books East, Glendale Heights, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Nº de ref. del artículo: ZEV.0262162091.VG
Comprar usado
EUR 61,78
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Types & Programming Languages
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
Comprar usado
EUR 59,43
Envío por EUR 15,70
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Types and Programming Languages (Mit Press)
Librería: thebookforest.com, San Rafael, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: BAY07-00057
Comprar nuevo
EUR 80,40
Envío por EUR 4,28
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Types and Programming Languages
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 484270-n
Comprar nuevo
EUR 82,46
Envío por EUR 2,26
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Edición internacional
TYPES AND PROGRAMMING LANGUAGES
Edición internacionalLibrería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABBB-222422
Comprar nuevo
EUR 89,10
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Types and Programming Languages
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 484270
Comprar usado
EUR 93,42
Envío por EUR 2,26
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Types and Programming Languages Format: Hardcover
Publicado por
Penguin Random House, 2002
ISBN 10: 0262162091
ISBN 13: 9780262162098
Antiguo o usado
Tapa dura
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread copy in mint condition. Nº de ref. del artículo: RH9780262162098
Comprar usado
EUR 95,77
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Types and Programming Languages Format: Hardcover
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New. Nº de ref. del artículo: 9780262162098
Comprar nuevo
EUR 95,86
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles