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

This textbook offers an understanding of the essential concepts of programming languages. The text uses interpreters, written in Scheme, to express the semantic

The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.

This book looks the variety of modern programming languages and uses them to illustrate the following major programming paradigms: imperative, object oriented,

Programming Language Pragmatics, Fourth Edition, is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for