Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, Michel Steuwer August, 2020 PDF BibTex Video dblp ACM DL Google ScholarProceedings of the ACM on Programming Languages (ICFP 2020)