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