ここでいうMLとは、Mailing Listのことではなく、HTMLやXMLのようなMarkup Languageでもなく、プログラミング言語の名前です。元々は「定理証明」という基礎研究の「メタ言語」(Meta Language)として1970年代に開発されたのですが、そんなことは気にしないで単にMLと呼ぶことが多いようです。
「そんな言語は聞いたこともない」という人のほうが多いと思いますが、MLを最初に開発したRobin Milnerという研究者は、コンピュータ科学のノーベル賞といわれるチューリング賞を受賞しました。また、MLは世界の多くの大学・大学院で教えられ（東大、京大の情報系を含む）、プログラミング言語の研究などアカデミックな世界では常識になっています。様々なアプリケーションやライブラリがMLで開発され、その一部はhttp://caml.inria.fr/cgi-bin/hump.en.cgiやhttp://www.npc.de/ocaml/linkdb/などに紹介されています。