29 citations · 54 across the 10 of their papers we have counts for
1 paper · 1 filter
Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri +2
Localizing type errors is challenging in languages with global type inference, as the type checker must make assumptions about what the programmer intended to do. We introduce Nate…