|
DePaul University Loop Campus - FALL 2010 | ||
Section 710 | ||
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 |