Type-Safe Code Generation with Algebraic Effects and Handlers.

Kanaru Isoda, Ayato Yokoyama, Yukiyoshi Kameyama

Browse the full GPCE paper archive.