Sml# is a variant of standard ml programming language with several practical extentions, including seamless interoperability with c, integration with sql, and separate compilation.