Handling Polymorphic Algebraic Effects

Sekiyama, Taro, Igarashi, Atsushi·2019·Lecture Notes in Computer Science