ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
出典:Wiktionary
Standard ML (abbreviation SML)
出典:Wikipedia
出典:『Wikipedia』 (2011/06/17 19:44 UTC 版)
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.
Standard ML