Quoted staged rewriting: a practical approach to library-defined optimizations - Parreaux, L; Shaikhha, A; Koch, C (ACM Digital Library, 2017)