Sums of uncertainty: refinements go gradual. - Khurram A. Jafery; Jana Dunfield (POPL, 2017)

Abstracting gradual typing moving forward: precise and space-efficient. - Felipe Bañados Schwerter; Alison M. Clark; Khurram A. Jafery; Ronald Garcia (Proc. ACM Program. Lang., 2021)