Grobauer, Bernd, and Zhe Yang. 2000. “The Second Futamura Projection for Type-Directed Partial Evaluation”. BRICS Report Series 7 (44). https://doi.org/10.7146/brics.v7i44.20211.