Skeleton-based parallel programming: Functional and parallel semantics in a single shot