TY  - RPRT
TI  - Explicit Effect Subtyping
AU  - Georgios Karachalias
AU  - Matija Pretnar
AU  - Amr Hany Saleh
AU  - Stien Vanderhallen
AU  - Tom Schrijvers
PY  - 2020
DO  - 10.1017/s0956796820000131
UR  - https://arxiv.org/abs/2005.13814
ID  - 2005.13814
ER  -