Maybe those profs are just huge fans of ML–you know, the original ML, i.e., Standard ML, OCaml, etc.