Unembedding Domain-Specific LanguagesUnembedding Domain-Specific Languages Robert Atkey Sam Lindley Jeremy Yallop LFCS, School of Informatics, The University of Edinburgh {bob.atkey,sam.lindley,jeremy.yallop}@ed.ac.uk Abstract Higher-order abstract syntax provides a convenient way of embed- ding domain-specific languages, but is awkward to analyse and ma- nipulate directly. We explore the boundaries of higher-order abstract syntax. Ou
