Standard ML (SML) is a general-purpose, high-level, modular, functionalprogramming language with compile-time type checking and type inference.It is popular for writing compilers, forprogramming language research, and for developing theorem provers. Standard ML is a modern dialect of ML, the language used in theLogic for Computable Functions (LCF) theorem-proving project.It is distinctive amo
1リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く