Tuloksena oli ML-ohjelmointikieli, joka esitteli automaattisen tyypinpäättelyn ja käytti matematiikalta näyttävää kielioppia.
tˌuloksˈena ˌolɪ ˌæmˈælˌohjelmˌointɪkˈielɪ, jˌoka ˌesɪtːˈelɪ ˌautomaːtːˈisen tˌyːpɪmpæːtːˈelyn ja kˈæytːɪ mˌatematɪːkˈalta næytːˈævæː kˌielɪopːˈia.