Haskell Valliappan, N, Russo, A & Lindley, S 2021, Practical Normalization by Evaluation for EDSLs . in Proceedings of the 14th ACM SIGPLAN International Haskell Symposium (Haskell 2021) . Virtual, Republic of Korea, pp. 56-70, ACM SIGPLAN Haskell Symposium 2021, 26/08/21 . https://doi.org/10.1145/3471874.3472983