3 ms·
Do you mean: http://sml-family.org/sml97-defn.pdf http://sml-family.org/sml97-defn.pdf
by codygman 11y ago
Do you mean:
http://sml-family.org/sml97-defn.pdf http://sml-family.org/sml97-defn.pdf
- jallmann 11y agoThat'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 https://github.com/CakeML/cakeml [2] http://www.cl.cam.ac.uk/~so294/ocaml http://www.cl.cam.ac.uk/~so294/ocaml