Comment on OCaml 4.03 will, “if all goes well”, support multicoreparentComments−jallmann11yThat'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
Comments
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