Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies.
Bastian HagedornJohannes LenfersThomas KoehlerXueying QinSergei GorlatchMichel SteuwerPublished in: Proc. ACM Program. Lang. (2020)