Source : Free On-Line Dictionary of Computing

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 {skeleton}s in paraML.
     
        See also {Skel-ML}.