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