Folding Domain−Specific Languages: Deep and Shallow Embeddings - Gibbons, J; Wu, N (International Conference on Functional Programming, 2014)