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}.