Advanced Topics in Types and Programming Languages (MIT Press)

Valutazione media 3,97
( su 29 valutazioni fornite da Goodreads )
 
9780262162289: Advanced Topics in Types and Programming Languages (MIT Press)

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

About the Author:

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

Review:

Programming languages need not be designed in an intellectual vacuum; John Mitchell's book provides an extensive analysis of the fundamental notions underlying programming constructs. A basic grasp of this material is essential for the understanding, comparative analysis, and design of programming languages.

(Luca Cardelli, Digital Equipment Corporation)

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Benjamin C Pierce
Editore: MIT 2005-02-15, Cambridge, Mass. |London (2005)
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuovi Rilegato Quantità: 1
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT 2005-02-15, Cambridge, Mass. |London, 2005. hardback. Condizione libro: New. Codice libro della libreria 9780262162289

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,93
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,35
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

Benjamin C. Pierce
Editore: MIT Press (2005)
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuovi Quantità: > 20
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press, 2005. HRD. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria WM-9780262162289

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 50,39
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,06
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Pierce, Benjamin C. (EDT)
Editore: MIT Press 2005-02-15 (2005)
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuovi Quantità: 2
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press 2005-02-15, 2005. Condizione libro: 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. Codice libro della libreria NU-GRD-04729806

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 59,65
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,34
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Editore: MIT Press Ltd, United States (2004)
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuovi Rilegato Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2004. Hardback. Condizione libro: New. 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. Codice libro della libreria AAZ9780262162289

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 66,81
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Editore: MIT Press Ltd, United States (2005)
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuovi Rilegato Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2005. Hardback. Condizione libro: New. 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. Codice libro della libreria AAZ9780262162289

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 67,28
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuovi Quantità: 2
Da
Speedy Hen LLC
(Sunrise, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Bookseller Inventory # ST0262162288. Codice libro della libreria ST0262162288

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 67,99
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

7.

Pierce, Benjamin C
Editore: MIT Press Ltd (2004)
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuovi Rilegato Prima edizione Quantità: 2
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, 2004. Condizione libro: 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. . . . . . . Codice libro della libreria V9780262162289

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 69,72
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Irlanda a: U.S.A.
Destinazione, tempi e costi

8.

Benjamin C. Pierce
Editore: MIT Press Ltd
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuovi Rilegato Quantità: 7
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd. Hardback. Condizione libro: 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. Codice libro della libreria B9780262162289

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 63,92
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,76
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Benjamin C. Pierce (Editor)
Editore: The MIT Press (2004)
ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2004. Hardcover. Condizione libro: New. 1. Codice libro della libreria DADAX0262162288

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 69,40
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,40
In U.S.A.
Destinazione, tempi e costi

10.

ISBN 10: 0262162288 ISBN 13: 9780262162289
Nuovi Quantità: 2
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Depending on your location, this item may ship from the US or UK. Codice libro della libreria 97802621622890000000

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 73,76
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro