Efficient Gradual Typing. - Andre Kuhlenschmidt; Deyaaeldeen Almahallawi; Jeremy G. Siek (CoRR, 2018)

Toward efficient gradual typing for structural types via coercions. - Andre Kuhlenschmidt; Deyaaeldeen Almahallawi; Jeremy G. Siek (PLDI, 2019)