Practical normalization by evaluation for EDSLs

Nachiappan Valliappan, Alejandro Russo, Sam Lindley. Practical normalization by evaluation for EDSLs. In Jurriaan Hage, editor, Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021. pages 56-70, ACM, 2021. [doi]

@inproceedings{ValliappanRL21,
  title = {Practical normalization by evaluation for EDSLs},
  author = {Nachiappan Valliappan and Alejandro Russo and Sam Lindley},
  year = {2021},
  doi = {10.1145/3471874.3472983},
  url = {https://doi.org/10.1145/3471874.3472983},
  researchr = {https://researchr.org/publication/ValliappanRL21},
  cites = {0},
  citedby = {0},
  pages = {56-70},
  booktitle = {Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021},
  editor = {Jurriaan Hage},
  publisher = {ACM},
  isbn = {978-1-4503-8615-9},
}