A Safe Approach to Parallel Combinator Reduction (Extended Abstract)
Abstract elided by the publisher.
Related papers
- Lambda calculus with algebraic simplification for reduction parallelisation: Extended study JFP 2021
- GEMs: shared-memory parallel programming for Node.js OOPSLA 2016
- Type-safe pattern combinators JFP 2009
- Global-view abstractions for user-defined reductions and scans PPoPP 2006
- LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract) ECOOP 2023
- Implementing the Evaluation Transformer Model of Reduction on Parallel Machines JFP 1991
- Parallel Algebraic Effect Handlers ICFP 2024
- Parallel Algorithms for Image Histogramming and Connected Components with an Experimental Study (Extended Abstract) PPoPP 1995