Danvy, O., Rhiger, M., & Rose, K. H. (2001). Normalization by Evaluation with Typed Abstract Syntax. BRICS Report Series, 8(16). https://doi.org/10.7146/brics.v8i16.20473