12 citations · 13 across the 2 of their papers we have counts for
1 paper · 1 filter
Ishan Bhanuka, Lionel Parreaux, David Binder +1
Creating good type error messages for constraint-based type inference systems is difficult. Typical type error messages reflect implementation details of the underlying constraint-…