 | GetTextbooks.co.uk Compare Price & Save up to 90% | | |
|
University of Michigan - Ann Arbor North Campus - WINTER 2011 | ||
Section 001 | ||
 | Types and Programming Languages (The MIT Press) (1st Edition) by Benjamin C. Pierce Hardcover, 648 Pages, Published 2002 ISBN-10: 0-262-16209-1 / 0262162091 ISBN-13: 978-0-262-16209-8 / 9780262162098 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 typ | |