Danvy, Olivier, and Kristoffer H. Rose. “Higher-Order Rewriting and Partial Evaluation”. BRICS Report Series 4, no. 46 (June 16, 1997). Accessed December 5, 2025. https://tidsskrift.dk/brics/article/view/19267.