Type-Safe Code Generation with Algebraic Effects and Handlers. - Kanaru Isoda; Ayato Yokoyama; Yukiyoshi Kameyama (GPCE, 2024)