Standard Ml

Type	Programming language
Origin	University of Chicago
Purpose	Artificial Intelligence • Machine Learning
Designer	Robin Milner
Popularity	Late 1980s - early 1990s
Inspiration	ML • Calculus of Communicating Systems
Notable features	Type inference • Pattern matching • Strong static type system