Standard ML

Proper noun

(programming) A functional, modular programming language.

Japanese Meaning

(プログラミング) 関数型かつモジュール化されたプログラミング言語

Standard ML's powerful type inference and module system make it ideal for teaching functional programming.

標準メタ言語は型推論とモジュールシステムが強力で、関数型プログラミングの教育に適しています。

Sense（1）

(programming) A functional, modular programming language.

SML

（ abbreviation ）