Key ideas in programming language design and implementation explained using a simple and concise framework; a comprehensive introduction suitable for use as a t

This is the first introduction to computer programming text to focus on functional programming which is not too mathematically rigorous for freshmen. The text f

Teaching the science and the technology of programming as a unified discipline that shows the deep relationships between programming paradigms. This innovative

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