Gradual Typing & Polymorphism Papers

Jump to bottom

charlesetc edited this page Apr 20, 2019 · 19 revisions

Gradual typing for Functional Languages, Siek and Taha, Scheme and Functional Programming 2006
Refined Criteria for Gradual Typing, Siek et al., SNAPL 2015
On Polymorphic Gradual Typing, Igarashi et al., ICFP 2017
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism, Dunfield et al., ICFP 2013
Consistent Subtyping for All, Xie et al., ESOP 2018
Gradual Parametricity, Revisited, Toro et al., POPL 2019