Simplifying explicit subtyping coercions in a polymorphic calculus with effects

Filip Koprivec, Matija Pretnar

Algebraic effect handlers are becoming an increasingly popular way of structuring effectful computations, and their performance is often a concern. One of the proposed approaches t…