Comment by UncleEntity

The Zephyr Abstract Syntax Description Language, Wang et al.

Has been invaluable for creating the AST (and soon the IR nodes)-- though it has been a source of much yak shaving as I've rewritten my asdl generator at least 3 times.

Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages Book, Terence Parr

Pretty java/antlr focused but wasn't too hard to take the concepts and apply them to a C++ based transpiler I've been slowly poking at.

Combining Analyses, Combining Optimizations, Cliff Click

His thesis and an extension of the linked paper Global Code Motion, Global Value Numbering -- my next step down the rabbit hole...

Tree Automata Techniques and Applications, Comon et al.

Still on the fence on this one vs the iburg/burs algorithm, probably be more useful and match better with the way Parr's book goes about things.