[BadInformatics]

As well as employing Simon Peyton Jones.

Jane Street and OCaml would be another good example of deep corporate involvement in an ML family language.