Parallel Standard ML with Skeletons

Abstract

We present an overview of our system for automatically extracting parallelism
from Standard ML programs using algorithmic skeletons.
This system identifies a small number of higher-order functions as sites of
parallelism and the compiler uses profiling and transformation techniques to
exploit these.