B. Grobauer and Z. Yang, “The Second Futamura Projection for Type-Directed Partial Evaluation”, BRICS, vol. 6, no. 40, Dec. 1999.