The very classic of this is https://ttic.uchicago.edu/~dreyer/course/papers/barendregt.pdf But it isn't focused on technical details. I'm not quite an expert in compiler books and all people I'd like to mention in this group are gone. You can go https://t.me/CompilerDev there might me more help
Обсуждают сегодня