<i>We focus exclusively in this book on the ‘back end’ of functional-language compilers. We make no attempt to discuss how to translate programs written in a fully fledged functional language [...] or how to type-check such programs.</i><p>(Added the year. Thanks.)