16 citations · 57 across the 9 of their papers we have counts for
1 paper · 2 filters
Éric Tanter, Nicolas Tabareau
Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated. Just like gra…