TY  - RPRT
TI  - Signature Restriction for Polymorphic Algebraic Effects
AU  - Taro Sekiyama
AU  - Takeshi Tsukada
AU  - Atsushi Igarashi
PY  - 2020
DO  - 10.1017/s0956796824000054
UR  - https://arxiv.org/abs/2003.08138
ID  - 2003.08138
ER  -