Standard ML

Proper noun

 * 1)  A functional, modular programming language.