Advanced Topics in Types and Programming Languages

3,97 valoración promedio
( 29 valoraciones por GoodReads )
 
9780262162289: Advanced Topics in Types and Programming Languages
Reseña del editor:

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems -- the material covered in the first half of the earlier book.Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.

Biografía 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.

Los mejores resultados en AbeBooks

1.

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

Descripción MIT Press, 2005. 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-9780262162289

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

Comprar nuevo
EUR 52,82
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,19
De Reino Unido a España
Destinos, gastos y plazos de envío

2.

Pierce, Benjamin C. (EDT)
Editorial: MIT Press Ltd 2005-02-15, Cambridge, Mass. (2005)
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuevos Tapa dura Cantidad: 5
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd 2005-02-15, Cambridge, Mass., 2005. hardback. Estado de conservación: New. Nº de ref. de la librería 9780262162289

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

Comprar nuevo
EUR 63,85
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,73
De Reino Unido a España
Destinos, gastos y plazos de envío

3.

Pierce, Benjamin C. (EDT)
Editorial: MIT Press 2005-02-15 (2005)
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuevos Cantidad: 5
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción MIT Press 2005-02-15, 2005. 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-04729806

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

Comprar nuevo
EUR 65,46
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,43
De Reino Unido a España
Destinos, gastos y plazos de envío

4.

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

Descripción MIT Press Ltd, United States, 2005. Hardback. Estado de conservación: New. 229 x 206 mm. Language: English . Brand New Book. The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference. Advanced Topics in Types and Programming Languages builds on Benjamin Pierce s Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems -- the material covered in the first half of the earlier book. Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions. Nº de ref. de la librería AAZ9780262162289

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

Comprar nuevo
EUR 68,94
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

5.

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

Descripción MIT Press Ltd, United States, 2005. Hardback. Estado de conservación: New. 229 x 206 mm. Language: English . Brand New Book. The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference. Advanced Topics in Types and Programming Languages builds on Benjamin Pierce s Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems -- the material covered in the first half of the earlier book. Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions. Nº de ref. de la librería AAZ9780262162289

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

Comprar nuevo
EUR 69,75
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

6.

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

Descripción MIT Press Ltd. Hardback. Estado de conservación: new. BRAND NEW, Advanced Topics in Types and Programming Languages, Benjamin C. Pierce, The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference. Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems -- the material covered in the first half of the earlier book. Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions. Nº de ref. de la librería B9780262162289

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

Comprar nuevo
EUR 65,64
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 7,98
De Reino Unido a España
Destinos, gastos y plazos de envío

7.

Pierce, Benjamin C
Editorial: MIT Press Ltd (2004)
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuevos Tapa dura Primera edición Cantidad: > 20
Librería
Valoración
[?]

Descripción MIT Press Ltd, 2004. Estado de conservación: New. 2004. 1st Edition. Hardcover. A thorough and accessible introduction to a range of key ideas in type systems for programming language. Editor(s): Pierce, Benjamin C. Num Pages: 608 pages, 125 illus. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 230 x 212 x 34. Weight in Grams: 1210. . . . . . . Nº de ref. de la librería V9780262162289

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

Comprar nuevo
EUR 77,12
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Irlanda a España
Destinos, gastos y plazos de envío

8.

Benjamin C. Pierce
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuevos Tapa dura Cantidad: > 20
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Hardback. Estado de conservación: New. Not Signed; The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in. book. Nº de ref. de la librería ria9780262162289_rkm

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

Comprar nuevo
EUR 74,18
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,28
De Reino Unido a España
Destinos, gastos y plazos de envío

9.

Pierce, Benjamin C.
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuevos Cantidad: 8
Librería
Speedy Hen
(London, Reino Unido)
Valoración
[?]

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

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

Comprar nuevo
EUR 56,18
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 22,96
De Reino Unido a España
Destinos, gastos y plazos de envío

10.

Pierce, Benjamin C.
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuevos Cantidad: > 20
Librería
BWB
(Valley Stream, NY, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Depending on your location, this item may ship from the US or UK. Nº de ref. de la librería 97802621622890000000

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

Comprar nuevo
EUR 81,43
Convertir moneda

Añadir al carrito

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

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda