Programming Languages: Concepts and Implementation teaches language concepts from two complementary perspectives: implementation and paradigms. It covers the im

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

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

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