Плюс к классике - http://www.compilerbooks.com/ << «Crafting a compiler» << «Compiler design in C» , `info bison` etc
Из новых можно «Design concepts in programming languages», и вроде позавчера вышла в печать «Language design patterns: Techniques for implementing Domain-Specific Languages», она попроще и попрактичнее, для быдлокодеров нормальных жаваэнтерпрайз пацанов, я бета-пдф покупал.
Читай Simon L. Peyton Jones - «The implementation of functional programming languages», а так же выборочно главы из «Функциональное программирование» - Филд, Харрисон. ;)