Also Essentials of Programming Languages (also by Dan Friedman), which talks specifically about language design and compilation/transformations.