A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er

A new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming languages, completely revised, wi

Describes the development, structure, function, and characteristics of twenty-two of the most important computer programming languages

"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how