Ask HN: What book would you recommend for compilers/interpreters

The ideal would be something recent, with emphasis on the type systems and written in an ML-like language.