In addition to this book, there’s also another by the same author (Simon Peyton Jones): Implementing Functional Languages: a tutorial.
I recall the book in the OP dealing with the translation of a higher level language into a simplified “core” language, whereas the book I linked deals with the G-machine and other runtime details of lazy functional languages.
Edit: actually, I’m wrong. I see graph reduction and G-machines in the table of contents of the linked OP book. Regardless, I suppose the “tutorial” book is a complementary resource.
This is not the fully edited and final version of the text btw. Still usable, just be aware that there are errors.
e.g. Efficient compilation of pattern-matching and Transforming the enriched Lambda Calculus in the table of contents have the same number 5 leading them.
That copy is a highly compressed djvu to pdf conversion and that error is actually a compression artifact from the djvu version, see: https://en.wikipedia.org/wiki/JBIG2#Disadvantages
For a copy without the compression artifact (but also uncropped), see: https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/
That’s really interesting, I had no idea! Thank you.