Unembedding domain-specific languages Export

@inproceedings{citeulike:5983161, abstract = {Higher-order abstract syntax provides a convenient way of embedding domain-specific languages, but is awkward to analyse and manipulate directly. We explore the boundaries of higher-order abstract syntax. Our key tool is the unembedding of embedded terms as de Bruijn terms, enabling intensional analysis. As part of our solution we present techniques for separating the definition of an embedded program from its interpretation, giving modular extensions of the embedded language, and different ways to encode the types of the embedded language.}, address = {New York, NY, USA}, author = {Atkey, Robert and Lindley, Sam and Yallop, Jeremy}, booktitle = {Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell}, citeulike-article-id = {5983161}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1596644}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1596638.1596644}, doi = {10.1145/1596638.1596644}, isbn = {978-1-60558-508-6}, keywords = {embeddedlanguage, functionalprogramming, haskell}, location = {Edinburgh, Scotland}, pages = {37--48}, posted-at = {2009-11-05 06:54:13}, priority = {2}, publisher = {ACM}, title = {Unembedding domain-specific languages}, url = {http://dx.doi.org/10.1145/1596638.1596644}, year = {2009} }

TY - CONF ID - citeulike:5983161 L3 - citeulike-article-id:5983161 N2 - Higher-order abstract syntax provides a convenient way of embedding domain-specific languages, but is awkward to analyse and manipulate directly. We explore the boundaries of higher-order abstract syntax. Our key tool is the unembedding of embedded terms as de Bruijn terms, enabling intensional analysis. As part of our solution we present techniques for separating the definition of an embedded program from its interpretation, giving modular extensions of the embedded language, and different ways to encode the types of the embedded language. CY - Edinburgh, Scotland SN - 978-1-60558-508-6 AD - New York, NY, USA EP - 48 TI - Unembedding domain-specific languages PB - ACM T2 - Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell SP - 37 KW - embeddedlanguage KW - functionalprogramming KW - haskell AU - Atkey, Robert AU - Lindley, Sam AU - Yallop, Jeremy PY - 2009/// UR - http://dx.doi.org/10.1145/1596638.1596644 ER -