Danvy, O., & Rose, K. H. (1997). Higher-Order Rewriting and Partial Evaluation. BRICS Report Series, 4(46). https://doi.org/10.7146/brics.v4i46.19267