The most comprehensive programming language textbook available today, Programming Language Pragmatics is distinguished and acclaimed for its integrated treatment of language design and implementation. Its emphasis on integration is supported by a central focus on programming language design; together, they provide readers with a solid foundation for understanding the most important issues driving software development today. The fourth edition is updated 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. New material on interpretation Expanded coverage of OCaml New chapters devoted to type systems and composite types Updated and re-worked coverage of overloading, coercion, and polymorphism New examples featuring the ARM and x86 64-bit architectures