12 citations · 12 across the 1 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-…