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