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.