[justinhj]

The book Modern Compiler Implementation in C has a very functional style, written in 1997

[silentbicycle]

There are editions of the book using ML and Java. Since Andrew Appel is involved with SML/NJ, the ML edition is most likely the original. (The ML one is also quite good.)