"Folding domain-specific languages: deep and shallow embeddings (functional ..."

Jeremy Gibbons, Nicolas Wu (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics