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

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

This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming.

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 presentation of the formal underpinnings of object-oriented programming languages.