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.

Loading...

This page contains content from the copyrighted Wikipedia article "Standard ML"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.