ML

ML (Meta Language) is a functional programming language originally conceived in the 1970s. More recent development has centered on the Standard ML project and its later spinoffs, such as CakeML.