28 citations · 28 across the 1 of their papers we have counts for
1 paper
Elizabeth Labrada, Matías Toro, Éric Tanter
Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first…