Unembedding domain-specific languages

Robert Atkey; Sam Lindley; Jeremy Yallop

doi:10.1145/1596638.1596644

Unembedding domain-specific languages

Robert Atkey, Sam Lindley, Jeremy Yallop

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009
Publisher	ACM
Pages	37-48
Number of pages	12
ISBN (Print)	978-1-60558-508-6
DOIs	https://doi.org/10.1145/1596638.1596644
Publication status	Published - 2009

Access to Document

10.1145/1596638.1596644

http://doi.acm.org/10.1145/1596638.1596644

Cite this

@inproceedings{0b0e4fbbd5274cf48a280f7e6ed1323f,

title = "Unembedding domain-specific languages",

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.",

author = "Robert Atkey and Sam Lindley and Jeremy Yallop",

year = "2009",

doi = "10.1145/1596638.1596644",

language = "English",

isbn = "978-1-60558-508-6",

pages = "37--48",

booktitle = "Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009",

publisher = "ACM",

}

TY - GEN

T1 - Unembedding domain-specific languages

AU - Atkey, Robert

AU - Lindley, Sam

AU - Yallop, Jeremy

PY - 2009

Y1 - 2009

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.

AB - 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.

U2 - 10.1145/1596638.1596644

DO - 10.1145/1596638.1596644

M3 - Conference contribution

SN - 978-1-60558-508-6

SP - 37

EP - 48

BT - Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009

PB - ACM

ER -

Unembedding domain-specific languages

Abstract

Access to Document

Fingerprint

Cite this