BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Types and Programming Languages

Types and Programming Languages

Types and Programming Languages
Stock photo: cover may vary

Types and Programming Languages Hardback - 2002 - 1st Edition

by C, Pierce Benjamin,

Add to wish list
  • New
New

Description

new.
Ask the seller a question Add to wish list
A$143.74
A$5.76 Delivery within USA
Standard delivery: 2 to 14 days
More delivery options
Ships from GreatBookPrices (Maryland, United States)
The BIBLIO Guarantee

Details

  • Title Types and Programming Languages
  • Author C, Pierce Benjamin,
  • Binding Hardback
  • Edition number 1st
  • Edition 1
  • Condition New
  • Pages 648
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cumberland, Rhode Island, U.S.A.
  • Publication date February 1, 2002
  • Bookseller's Inventory # 484270-n
  • ISBN 9780262162098 / 0262162091
  • Weight 2.8 lbs (1.27 kg)
  • Dimensions 9.4 x 8.12 x 1.42 in (23.88 x 20.62 x 3.61 cm)
  • Age range 18 to UP years
  • Grade levels 13 - UP
  • Category Computers - Languages / Programming
  • Library of Congress subjects Programming languages (Electronic computers)
  • Library of Congress Catalogue Number 2001044428
  • Dewey Decimal Code 005.13
  • Quantity available 3

About GreatBookPrices Maryland, United States

Biblio member since 2024

Since 1991, we have worked every day to serve our customers with state-of-the-art technology and world class service. We are dedicated to providing customers around the world with the widest selection of books, DVDs, and CDs at the absolute lowest price.

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from GreatBookPrices

Reader reviews for Types and Programming Languages

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

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.

About the author

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

Please wait a moment while we load the requested page.

tracking-