I second "Programming Language Pragmatics" it is a fantastic book, and he is a very good writer, with illustrative examples and just the right balance between b

I second "Programming Language Pragmatics" it is a fantastic book, and he is a very good writer, with illustrative examples and just the right balance between breadth/depth.