Explicit effect subtyping

Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers. Explicit effect subtyping. Journal of Functional Programming, 30, 2020. [doi]

Abstract

Abstract is missing.