I thought of Futamura projections [1] while reading the abstract, and saw that they indeed talk about it in the paper. If you don't know what it is yet, be sure

I thought of Futamura projections [1] while reading the abstract, and saw that they indeed talk about it in the paper. If you don't know what it is yet, be sure to check it out, since it is also quite interesting and fun. [1] http://cs.au.dk/~hosc/local/HOSC-12-4-pp381-391.pdf http://cs.au.dk/~hosc/local/HOSC-12-4-pp381-391.pdf