Sums of uncertainty: refinements go gradual.

Khurram A. Jafery, Jana Dunfield

Browse the full POPL paper archive.