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