Lambda calculus with algebraic simplification for reduction parallelisation: Extended study
Sign Up to like & getrecommendations! Published in 2021 at "Journal of Functional Programming"
DOI: 10.1017/s0956796821000058
Abstract: Abstract Parallel reduction is a major component of parallel programming and widely used for summarisation and aggregation. It is not well understood, however, what sorts of non-trivial summarisations can be implemented as parallel reductions. This… read more here.
Keywords: lambda calculus; calculus; algebraic simplification; calculus algebraic ... See more keywords