Faithin Omaha eBook Collection

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 comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.

0805311912B04062001

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