"Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for ..."

David Raymond Christiansen (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics