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

paraML

   An extension of Standard ML which supports coarse-grained
   parallelism.  Peter Bailey, while at the Edinburgh Parallel
   Computing Centre at University of Edinburgh, has implemented of
   Murray Cole's original four skeletons in paraML.

   See also Skel-ML.