I hope someone can give more details about this.TDPL chapter 11 "Scaling Up".
That's where I was looking. As I said already, TDPL does not explain how compilation works, especially not anything about the low-level semantic analysis which has me most curious.
