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.