Expressive and strongly type-safe code generation

Thomas Winant, Jesper Cockx, Dominique Devriese. Expressive and strongly type-safe code generation. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 199-210, ACM, 2017. [doi]

@inproceedings{WinantCD17,
  title = {Expressive and strongly type-safe code generation},
  author = {Thomas Winant and Jesper Cockx and Dominique Devriese},
  year = {2017},
  doi = {10.1145/3131851.3131872},
  url = {http://doi.acm.org/10.1145/3131851.3131872},
  researchr = {https://researchr.org/publication/WinantCD17},
  cites = {0},
  citedby = {0},
  pages = {199-210},
  booktitle = {Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017},
  editor = {Wim Vanhoof and Brigitte Pientka},
  publisher = {ACM},
  isbn = {978-1-4503-5291-8},
}