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

POPLOG ML

   SML for the Poplog system from the University of Sussex,
   UK.