I&#x27;ve only read a little bit in Optimizing Compilers for Modern Architectures, but it seems a pretty complete introduction: <a href="http:&#x2F;&#x2F;www.amazon.com&#x2F;Optimizing-Compilers-Modern-Architectures-Dependence-based&#x2F;dp&#x2F;1558602860" rel="nofollow">http:&#x2F;&#x2F;www.amazon.com&#x2F;Optimizing-Compilers-Modern-Architectu...</a><p>Another space you can look for interesting things (not necessarily optimising compilation) is the compilation of functional programming languages. They usually take a slightly different approach compared to imperative languages, though there&#x27;s clearly a lot of overlap. I really enjoy reading in an old book called The Implementation of Functional Programming Languages from 1987, which is available online: <a href="http:&#x2F;&#x2F;research.microsoft.com&#x2F;en-us&#x2F;um&#x2F;people&#x2F;simonpj&#x2F;papers&#x2F;slpj-book-1987&#x2F;" rel="nofollow">http:&#x2F;&#x2F;research.microsoft.com&#x2F;en-us&#x2F;um&#x2F;people&#x2F;simonpj&#x2F;papers...</a>