An Intrinsically Typed Compiler for Algebraic Effect Handlers

Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara. An Intrinsically Typed Compiler for Algebraic Effect Handlers. In Gabriele Keller, Meng Wang 0002, editors, Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024. pages 134-145, ACM, 2024. [doi]

Authors

Syouki Tsuyama

This author has not been identified. Look up 'Syouki Tsuyama' in Google

Youyou Cong

This author has not been identified. Look up 'Youyou Cong' in Google

Hidehiko Masuhara

This author has not been identified. Look up 'Hidehiko Masuhara' in Google