A modal type system for multi-level generating extensions with persistent code. - Yosihiro Yuse; Atsushi Igarashi (PPDP, 2006)