Articoli correlati a Types and Programming Languages

Types and Programming Languages - Rilegato

 
9780262162098: Types and Programming Languages

Sinossi

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.

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

Informazioni sull?autore

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

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

Compra usato

Condizioni: mediocre
This is an ex-library book and...
Visualizza questo articolo

EUR 10,41 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

EUR 7,70 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Risultati della ricerca per Types and Programming Languages

Foto dell'editore

Pierce, Benjamin C
Editore: MIT Press, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Antico o usato Rilegato

Da: Anybook.com, Lincoln, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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. Codice articolo 9779747

Contatta il venditore

Compra usato

EUR 59,56
Convertire valuta
Spese di spedizione: EUR 10,41
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Benjamin C Pierce Benjamin C. Pierce
Editore: MIT Press, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuovo Rilegato

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. xxi + 623. Codice articolo 26692973

Contatta il venditore

Compra nuovo

EUR 100,12
Convertire valuta
Spese di spedizione: EUR 7,70
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Pierce Benjamin C Benjamin C. Pierce
Editore: MIT Press, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuovo Rilegato

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. xxi + 623 Illus. Codice articolo 8203570

Contatta il venditore

Compra nuovo

EUR 99,96
Convertire valuta
Spese di spedizione: EUR 10,24
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Pierce Benjamin C Benjamin C. Pierce
Editore: MIT Press, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuovo Rilegato

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. xxi + 623. Codice articolo 18692967

Contatta il venditore

Compra nuovo

EUR 105,72
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Benjamin C. Pierce
Editore: MIT Press Ltd, US, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuovo Rilegato

Da: Rarewaves.com UK, London, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardback. Condizione: New. Codice articolo LU-9780262162098

Contatta il venditore

Compra nuovo

EUR 136,92
Convertire valuta
Spese di spedizione: EUR 2,31
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Benjamin C. Pierce
Editore: MIT Press Ltd, US, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuovo Rilegato

Da: Rarewaves.com USA, London, LONDO, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardback. Condizione: New. Codice articolo LU-9780262162098

Contatta il venditore

Compra nuovo

EUR 139,81
Convertire valuta
Spese di spedizione: EUR 2,31
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Benjamin C. Pierce
Editore: Mit Pr, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuovo Rilegato

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Brand New. 1st edition. 645 pages. 9.00x8.00x1.50 inches. In Stock. Codice articolo zk0262162091

Contatta il venditore

Compra nuovo

EUR 160,35
Convertire valuta
Spese di spedizione: EUR 11,57
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Pierce, Benjamin C.
Editore: MIT Press, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Antico o usato Rilegato

Da: Goodwill Books, Hillsboro, OR, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Good. Signs of wear and consistent use. Codice articolo 3IIT5H0066XE_ns

Contatta il venditore

Compra usato

EUR 109,13
Convertire valuta
Spese di spedizione: EUR 64,15
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Benjamin C. Pierce
Editore: Mit Pr, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuovo Rilegato

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Brand New. 1st edition. 645 pages. 9.00x8.00x1.50 inches. In Stock. Codice articolo __0262162091

Contatta il venditore

Compra nuovo

EUR 168,04
Convertire valuta
Spese di spedizione: EUR 11,57
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Pierce, Benjamin C.
Editore: MIT Press, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Nuovo Rilegato

Da: BennettBooksLtd, North Las Vegas, NV, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-0262162091

Contatta il venditore

Compra nuovo

EUR 142,01
Convertire valuta
Spese di spedizione: EUR 37,63
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello