10 citations · 10 across the 1 of their papers we have counts for
1 paper
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian +1
Elaboration-based type class resolution, as found in languages like Haskell, Mercury and PureScript, is generally nondeterministic: there can be multiple ways to satisfy a wanted c…