SML

Proper noun

 * 1)   a functional, modular programming language