Effect Systems with Subtyping.

Yan Mei Tang, Pierre Jouvelot

Browse the full PEPM paper archive.