Programming Language Pragmatics, Fourth Edition is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for its integrated treatment of language design and implementation, with an emphasis on integration that is supported by a central focus on programming language design.

The book provides readers with a solid foundation for understanding the most important issues driving software development today, and this latest edition is complete with new material and numerous updates, including added content on interpretation, expanded coverage of OCaml, new chapters devoted to type systems and composite types, reworked coverage of overloading, coercion, and polymorphism, and new examples featuring the ARM and x86 64-bit architectures.

Provides new material on interpretation, including expanded coverage of OCaml

Contains new material on interpretation, expanded coverage of OCaml, new chapters devoted to type systems and composite types, reworked coverage of overloading, coercion, and polymorphism

New chapters are devoted to type systems and composite types

Includes updated and re-worked coverage of overloading, coercion, and polymorphism

Presents new examples featuring the ARM and x86 64-bit architectures

Michael L. Scott is a professor in the University of Rochester’s Department of Computer Science, which he chaired from 1996 to 1999. He is the designer of the Lynx distributed programming language and a co-designer of the Charlotte and Psyche parallel operating systems, the Bridge parallel file system, the Cashmere distributed shared memory system, and the MCS mutual exclusion lock. He received his Ph.D. from the University of Wisconsin-Madison in 1985.