A book not listed there that I like is Michael Scott’s Programming Language Pragmatics. It has a different focus than some of the more type-theory-focused books, though, oriented more towards theory of imperative and OO languages. For example these are the first 8 content chapters: Language Syntax, Names/Scopes/Bindings, Semantic Analysis, Target Architecture, Control Flow, Data Types, Subroutines & Control Abstraction, Data Abstraction & Object Orientation.
A book not listed there that I like is Michael Scott’s Programming Language Pragmatics. It has a different focus than some of the more type-theory-focused books, though, oriented more towards theory of imperative and OO languages. For example these are the first 8 content chapters: Language Syntax, Names/Scopes/Bindings, Semantic Analysis, Target Architecture, Control Flow, Data Types, Subroutines & Control Abstraction, Data Abstraction & Object Orientation.