Grobauer, Bernd, and Zhe Yang. 1999. “The Second Futamura Projection for Type-Directed Partial Evaluation”. BRICS Report Series 6 (40). https://doi.org/10.7146/brics.v6i40.20109.