Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. - Oleg Kiselyov; Yukiyoshi Kameyama; Yuto Sudo (APLAS, 2016)