B. Grobauer and Z. Yang, “The Second Futamura Projection for Type-Directed Partial Evaluation”, BRICS, vol. 7, no. 44, Jun. 2000.