The Second Futamura Projection for Type-Directed Partial Evaluation

Bernd Grobauer, Zhe Yang. The Second Futamura Projection for Type-Directed Partial Evaluation. In PEPM. pages 22-32, 2000. [doi]

Abstract

Abstract is missing.