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]

Abstract

Abstract is missing.