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