ML is an abbreviation for Meta Language. It was created by R. Milner and a team, in 1973. It is a strict higher-order functional language, with a formal semantics. It is garbage collected, and the first language to include polymorphic typing that is statically checked. ML is one of the direct inspirations informing Alan Kay and the design of Smalltalk.
sml_tk
-
Standard ML package giving a portable, typed, abstract interface to the user interface description and command language Tcl/Tk. Allows making graphical user interfaces in structured and reusable ways, supported by SML's powerful module system.