Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libr ...

OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.