Tilbage til artikeldetaljer The Second Futamura Projection for Type-Directed Partial Evaluation Download Download PDF