Abstracting gradual typing. - Ronald Garcia; Alison M. Clark; Éric Tanter (POPL, 2016)

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)