Quoted staged rewriting: a practical approach to library-defined optimizations.

Lionel Parreaux, Amir Shaikhha, Christoph E. Koch

Browse the full GPCE paper archive.