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

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

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

A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.

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