“…Several studies have shown the usefulness of partial evaluation or function simplification for developing parallel reductions, including those on deriving parallel reductions on arrays/lists and trees (Callahan, 1992;Fisher & Ghuloum, 1994;Hu et al, 1998;Chin et al, 1998;Matsuzaki et al, 2005;Morihata & Matsuzaki, 2010;Raychev et al, 2015;Farzan & Nicolet, 2017;Jiang et al, 2018;Farzan & Nicolet, 2019) and those on parallel querying of semi-structured databases (Buneman et al, 2006;Cong et al, 2007Cong et al, , 2012. They generally focus on specific reduction patterns to enable automation of reduction parallelisation.…”