The Free On-line Dictionary of Computing (30 December 2018):

Poly/ML

    SML implemented in D.C.J. Matthews's Poly, for
   Motorola 68020 and SPARC by Abstract Hardware Ltd.

   (1999-11-23)