I read the title and was somehow was expecting a guide on compiler design implementing some flavor of the the ML language such as Standard ML.