Staging with control: type-safe multi-stage programming with control operators. - Junpei Oishi; Yukiyoshi Kameyama (GPCE, 2017)