"On Cross-Stage Persistence in Multi-Stage Programming."

Yuichiro Hanada, Atsushi Igarashi (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics