Types and programming languages

• Main Author: Pierce, Benjamin C.
• Format: Electronic eBook
• Language: English
• Published: Cambridge, Mass. : MIT Press, 2002.
• Subjects: Programming languages (Electronic computers); elektronické knihy; electronic books

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 applicat...