Danvy, Olivier, Morten Rhiger, and Kristoffer H. Rose. “Normalization by Evaluation With Typed Abstract Syntax”. BRICS Report Series 8, no. 16 (May 16, 2001). Accessed April 19, 2024. https://tidsskrift.dk/brics/article/view/20473.