Effect Systems with Subtyping

by Yan Mei Tang, Pierre Jouvelot