Strongly-typed, safe, automatic statically type-checked functional programming language from ML fam...
Mailing list archive from 2001.11.27 to present, all HTML.