28 citations · 28 across the 1 of their papers we have counts for
1 paper · 1 filter
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…