Link to "A Theory of Gradual Effect Systems".