That's the one for Standard ML, yes. There are others for SML, some using proof assistants [1]. Other (S)ML extensions have formal semantics as well, and OCaml itself is partially specified [2].

[1] https://github.com/CakeML/cakeml

[2] http://www.cl.cam.ac.uk/~so294/ocaml