The Free On-line Dictionary of Computing (19 January 2023):

Poly/ML

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

   (1999-11-23)