… embedding domain-specific languages, but is awkward to analyse and manipulate directly.
… Our key tool is the unembedding of embedded terms as de Bruijn terms, enabling intensional …

… 1 INTRODUCTION Programming languages solve problems in an expressive and flexible
way. When there is a particular problem to be solved, a domain-specific language (DSL) is …

… domain-specific language can be implemented by embedding within a general-purpose host
language… on whether terms in the language construct syntactic or semantic representations. …

… in one language, and to provide good results for the same task in another language, without
… “Évaluation des propriétés multilingues d’un embedding contextualisé.” In: European Grid …

Programs in domain-specific embedded languages (DSELs) can be represented in the host
language in different ways, for instance implicitly as libraries, or explicitly in the form of …

… deeply embedded domain specific language would support … already builtin to the base
language, such as pattern matching … deeply embedded domain specific languages can be cleaner…

… polymorphic domain specific languages in Haskell and OCaml. We exploit recent language
… We also show how to extend unembedding with polymorphism. The main contributions of …

… Functional programming languages are excellent for hosting embedded domain specific
languages (eDSLs) because of their rich type systems, minimal syntax, and referential …

Unembedding domain-specific languages. In Haskell, Stephanie Weirich (Ed.) | CiNii
Research … Unembedding domain-specific languages. In Haskell, Stephanie Weirich (Ed.) …

… In this paper, we present a new extensible embedded domainspecific language for writing …
tation of programs introduced earlier, we apply the unembedding technique from Atkey et al. [4…