"Structure-Preserving Compilation: Efficient Integration of Functional DSLs ..."

Julian Kranz, Axel Simon (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics