Hi.

To all those people who are in any sense interested in PL theory I'd
like to recommend the book "Design concepts in programming languages",
because I am extremely impressed with it and because I, surprisingly,
have not heard much about it.