An edition of Types and Programming Languages (2002)

Types and Programming Languages

by

  • ★★★★ ★ 4.5 (2 ratings)
  • 20 Want to read
  • 3 Have read
Cover of: Types and Programming Languages by Benjamin C. Pierce, Benjamin C. Pierce
Read

My Reading Lists:

Create a new list
Notes
  • ★★★★ ★ 4.5 (2 ratings)
  • 20 Want to read
  • 3 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 20, 2025 | History
Edit
An edition of Types and Programming Languages (2002)

Types and Programming Languages

by

  • ★★★★ ★ 4.5 (2 ratings)
  • 20 Want to read
  • 3 Have read

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.

Publish Date
Publisher
The MIT Press
Language
English
Pages
645

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Programming languages (Electronic computers), Programming Languages, Langages de programmation, COMPUTERS, General, Programmeertalen, Linguagem de programação (textos avançados), Qa76.7 .p54 2002, 005.13
Edition Availability
Cover of: Types and Programming Languages
Types and Programming Languages
February 1, 2002, The MIT Press
Hardcover in English

Add another edition?

Book Details

Edition Notes

Published in
USA
Series
Types and Programming Languages (1)
Copyright Date
2002

Classifications

Library of Congress
QA76.7.P54 2002, QA76.7 .P54 2002, QA76.7 .P54 2002eb

The Physical Object

Format
Hardcover
Number of pages
645
Dimensions
9.1 x 8.3 x 1.5 inches
Weight
2.9 pounds

Edition Identifiers

Open Library
OL9468435M
Internet Archive
typesprogramming00pier_296
ISBN 10
0262162091
ISBN 13
9780262162098
LCCN
2001044428
OCLC/WorldCat
51958338, 47705787
LibraryThing
195764
Goodreads
112252

Work Identifiers

Work ID
OL4078119W

Source records

Links outside Open Library

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON
July 20, 2025 Edited by MARC Bot import existing book
December 19, 2023 Edited by ImportBot import existing book
January 7, 2023 Edited by MARC Bot import existing book
July 31, 2020 Edited by ImportBot import existing book
December 10, 2009 Created by WorkBot add works page