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

PML

   Parallel ML.

   ["Synchronous Operations as First-Class Values", J.H.  Reppy
   , Proc SIGPLAN 88 Conf Prog Lang Design
   and Impl, June 1988, pp. 250-259].