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