17 citations · 18 across the 3 of their papers we have counts for
1 paper · 1 filter
Kevin Glynn, Martin Sulzmann, Peter J. Stuckey
Type classes are an elegant extension to traditional, Hindley-Milner based typing systems. They are used in modern, typed languages such as Haskell to support controlled overloadin…