Articles with "algebraic simplification" as a keyword



Photo by profwicks from unsplash

Lambda calculus with algebraic simplification for reduction parallelisation: Extended study

Sign Up to like & get
recommendations!
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