An Intrinsically Typed Compiler for Algebraic Effect Handlers.

Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara

Browse the full PEPM paper archive.