Caml is a strongly-typed functional programming language from the ML family. OCaml (Objective Caml) and Caml Light are two open source implementations of Caml developed at INRIA Rocquencourt, France.
Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software.