17 citations · 22 across the 5 of their papers we have counts for
1 paper · 2 filters
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…