Tags: Programming Language.
Standard ML (SML) is a general-purpose modular functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers as well as in the development of theorem provers.SML is a modern descendant of the ML programming language used in the Logic for Computable Functions (LCF) theorem-proving project.