Стандартный ML штата Нью-Джерси (SML/NJ)

SML/NJ - это популярная реализация языка программирования Standard ML, разработанная совместно Bell Laboratories и Принстонским университетом. Он выпущен под лицензией типа BSD.

Ссылки:

Вики-страница