[mhh__]

Isn't one of Appel's books like that? I vaguely remember his CPS book being about implementing ML (His Intro to compiler in x books are not)