Fold-based fusion as a library: a generative programming pearl

Fusion is a program optimisation technique commonly implemented using special-purpose compiler support. In this paper, we present an alternative approach, implementing fold-based fusion as a standalone library. We use staging to compose operations on folds; the operations are partially evaluated away, yielding code that does not construct unnecessary intermediate data structures. The technique extends to partitioning and grouping of collections.

• Type: Journal
• Year: 2015
• Where: PLDI
• Authors: Manohar Jonnalagedda, Sandro Stucki
• Keywords: PLDI 2015, Programming Languages