Proper noun
Standard ML (abbreviation SML) (programming) A functional, modular programming language. Hypernym: ML