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.