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

POPLOG ML

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