@inproceedings{1077,
  author = {Kai-Oliver Prott and Finn Teegen and Jan Christiansen},
  title = {Embedding Functional Logic Programming in Haskell via a Compiler Plugin},
  abstract = {We present a technique to embed a functional logic language in Haskell using a GHC plugin. Our approach is based on a monadic lifting that models the functional logic semantics explicitly. Using a GHC plugin, we get many language extensions that GHC provides for free in the embedded language. As a result, we obtain a seamless embedding of a functional logic language, without having to implement a full compiler. We briefly show that our approach can be used to embed other domain-specific languages as well. Furthermore, we can use such a plugin to build a full blown compiler for our language.},
  year = {2023},
  booktitle = {Practical Aspects of Declarative Languages},
  journal = {Practical Aspects of Declarative Languages},
  publisher = {Springer},
  address = {Boston, MA, USA},
  doi = {10.1017/978-3-031-24841-2_3},
}