Types and Programming Languages

4,22 valoración promedio
( 375 valoraciones por Goodreads )
 
9780262162098: Types and Programming Languages

Book by Pierce Benjamin C

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas:

"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." Robin Milner, Computer Laboratory, University of Cambridge "Written by an outstanding researcher, this book is well organized and very clear, spanning both theory and implementation techniques, and reflecting considerable experience in teaching and expertise in the subject."--John Reynolds, School of Computer Science, Carnegie Mellon University "Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects."--Robin Milner, Computer Laboratory, University of Cambridge "Types and Programming Languages is carefully written with a well-balanced choice of topics. It focusses on pragmatics, with the right level of necessary theory. The exercises in this book range from easy to challenging and provide stimulating material for beginning and advanced readers, both programmers and the more theoretically minded."--Henk Barendregt, Faculty of Science, Mathematics, and Computer Science, University of Nijmegen, The Netherlands "Over the last two decades type theory has emerged as the central, unifying framework for research in programming languages. But these remarkable advances are not as well-known as they should be. The rapid advance of research on type systems for programming languages has far outpaced its dissemination to the rest of the field. No more. Pierce's book not only provides a comprehensive account of types for programming languages, but it does so in an engagingly elegant and concrete style that places equal emphasis on theoretical foundations and the practical problems of programming. This book will be the definitive reference for many years to come."--Robert Harper, Professor, Computer Science Department, Carnegie Mellon UniversityPlease note: Endorser gives permission to use the final two sentences of the quote as his endorsement, if necessary.

Reseña del editor:

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.

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

Comprar nuevo Ver libro

Gastos de envío: EUR 10,41
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Benjamin C Pierce
Editorial: MIT Press (2002)
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuevos Cantidad: > 20
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción MIT Press, 2002. HRD. Estado de conservación: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. de la librería WM-9780262162098

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 52,94
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,41
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Benjamin C. Pierce
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuevos Cantidad: 3
Librería
Super textbook online
(Houston, TX, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. US Edition Book In Mint condition. Shipping with Trackable Method. Nº de ref. de la librería 0262162091-TOS

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 65,33
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Benjamin C. Pierce
Editorial: MIT Press Ltd, United States (2002)
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd, United States, 2002. Hardback. Estado de conservación: New. 230 x 210 mm. Language: English . Brand New Book. 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. Nº de ref. de la librería AAH9780262162098

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 66,91
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Benjamin C. Pierce
Editorial: MIT Press Ltd, United States (2002)
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd, United States, 2002. Hardback. Estado de conservación: New. 230 x 210 mm. Language: English . Brand New Book. 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. Nº de ref. de la librería AAH9780262162098

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 66,95
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Pierce, Benjamin C.
Editorial: MIT Press 2002-02-05 (2002)
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuevos Cantidad: 4
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción MIT Press 2002-02-05, 2002. Estado de conservación: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-GRD-00546681

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 64,70
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,46
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Benjamin C Pierce
Editorial: MIT Press 2002-02-05, Cambridge, Mass. (2002)
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuevos Tapa dura Cantidad: 5
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción MIT Press 2002-02-05, Cambridge, Mass., 2002. hardback. Estado de conservación: New. Nº de ref. de la librería 9780262162098

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 64,30
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 5,20
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Pierce, Benjamin C.
Editorial: MIT Press Ltd (2002)
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuevos Tapa dura Primera edición Cantidad: 15
Librería
Valoración
[?]

Descripción MIT Press Ltd, 2002. Estado de conservación: New. 2002. 1st Edition. Hardcover. A comprehensive introduction to type systems and programming languages. Num Pages: 648 pages, 60 illus. BIC Classification: UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 214 x 34. Weight in Grams: 1330. . . . . . . Nº de ref. de la librería V9780262162098

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 70,45
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Benjamin C. Pierce
Editorial: MIT Press Ltd
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuevos Tapa dura Cantidad: 16
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd. Hardback. Estado de conservación: new. BRAND NEW, Types and Programming Languages, Benjamin C. Pierce, 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. Nº de ref. de la librería B9780262162098

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 64,03
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,87
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Benjamin C. Pierce
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuevos Cantidad: 3
Librería
Speedy Hen LLC
(Sunrise, FL, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Bookseller Inventory # ST0262162091. Nº de ref. de la librería ST0262162091

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 72,87
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

PIERCE
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuevos Tapa dura Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción 2002. Hardback. Estado de conservación: NEW. 9780262162098 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE01141367

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 65,44
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,25
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda