Grobauer, B., and Z. Yang. “The Second Futamura Projection for Type-Directed Partial Evaluation”. BRICS Report Series, vol. 7, no. 44, June 2000, doi:10.7146/brics.v7i44.20211.