Grobauer, B.; Yang, Z. The Second Futamura Projection for Type-Directed Partial Evaluation. BRICS 1999, 6.