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