Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms


The increasing importance of parallelism has motivated the creation of better abstractions for writing parallel software, including structured parallelism using nested algorithmic skeletons. Such approaches provide high-level abstractions that avoid common problems, such as race conditions, and often allow strong cost models to be defined. However, choosing… (More)
DOI: 10.1145/2951913.2951920


3 Figures and Tables

Slides referencing similar topics