SML# is a variant of Standard ML programming language with several practical extentions, including seamless interoperability with C, integration with SQL, and separate compilation.