Types and Programming Languages Hardcover by Benjamin C. Pierce Democracy ISBN-13: 9781628603729
Types and Programming Languages Hardcover by Benjamin C. Pierce Democracy ISBN-13: 9781628603729Product Details Publisher: The MIT Press (2002 01 04) Language: English Paperback: 648 pages ISBN 13: 9780262162098 Item Weight: 1312. 61 grams Dimensions: 9. 31 x 8. 31 x 1. 32 cm 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
Pay in 4 interest-free payments of $30.82 Learn more
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 31 - Aug 5