Types and Programming Languages
Recommended by Ana Bell, and 1 others. See all reviewsRanked #34 in Computer Science, Ranked #56 in Programming — see more rankings.
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 systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory... more
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-performance compilers, and security.
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory... more
Rankings by Category
Types and Programming Languages is ranked in the following categories:
- #78 in Technical
Similar Books
If you like Types and Programming Languages, check out these similar top-rated books:
