Skip to main content
PBS logo
 
 

Search - Types and Programming Languages

Types and Programming Languages
Types and Programming Languages
Author: Benjamin C. Pierce
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...  more »
ISBN-13: 9780262162098
ISBN-10: 0262162091
Publication Date: 2/1/2002
Pages: 645
Rating:
  ?
0 stars, based on 0 rating
Publisher: The MIT Press
Book Type: Hardcover
Members Wishing: 1
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.