SICP equivalent for Standard ML

Are there books for understanding Standard ML intimately? Something similar to SICP or Lisp in Small Pieces, but for SML. Something where one learns the language by understanding how it could be implemented.

ML for the Working Programmer followed by Compiling with Continuations is the best I can come up with. For more specific concerns the literature on SML is surprisingly large.

SML is, sadly, a dead language. I know that because I have known SML for years. Also, this post is a good recommendation >>32558

>>32571 Where did all the Standard ML programmers go? Did they move to OCaml?

>>32572 Yes, that is the closest to SML that is still alive.

>>32579 Don't forget F#, you wouldn't want to anger the microsofties

The Definition of Standard ML and Commentary on Standard ML by Milner, Tofte et al. are roughly equivalent to the rnrs documents for scheme. They're a bit dense but a enjoyable read if you put your mind to it. Besides that, Richard Bird's The Algebra of Programming is a great way to reason using the ML family of programming languages.

>>32535 You should just learn OCaml, SML has a sad amount of users.