The Second Futamura Projection for Type-Directed Partial Evaluation (1999)

by Bernd Grobauer, Zhe Yang
Venue:HIGHER-ORDER AND SYMBOLIC COMPUTATION