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