Static analysis of multi-staged programs via unstaging translation.

Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta

Browse the full POPL paper archive.