Effect Systems with Subtyping

Yan Mei Tang, Pierre Jouvelot. Effect Systems with Subtyping. In PEPM. pages 45-53, 1995.

Abstract

Abstract is missing.