The Second Futamura Projection for Type-Directed Partial Evaluation

Bernd Grobauer, Zhe Yang. The Second Futamura Projection for Type-Directed Partial Evaluation. Higher-Order and Symbolic Computation, 14(2-3):173-219, 2001.

Abstract

Abstract is missing.