Grobauer B, Yang Z. The Second Futamura Projection for Type-Directed Partial Evaluation. BRICS [Internet]. 1999 Dec. 10 [cited 2024 Apr. 23];6(40). Available from: https://tidsskrift.dk/brics/article/view/20109