Computers, Programming, Languages, ML - Objective Caml. Latest version of Caml dialect of strongly-typed functional language ML: object-oriented programming, flexible module system, fast native compilers for many systems.
Computers, Programming, Languages, ML - Poly/ML. Compiler and environment for, full implementation of, Standard ML, has libraries for MS Windows, X Window.