Grobauer B, Yang Z. The Second Futamura Projection for Type-Directed Partial Evaluation. BRICS [Internet]. 2000 Jun. 14 [cited 2024 Nov. 21];7(44). Available from: https://tidsskrift.dk/brics/article/view/20211