Return to Article Details The Second Futamura Projection for Type-Directed Partial Evaluation Download Download PDF