Type class

Known as: Bounded types, Type classes, Typeclass 
In computer science, a type class is a type system construct that supports ad hoc polymorphism. This is achieved by adding constraints to type… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The introduction of first-class type classes in the Coq system calls for re-examination of the basic interfaces used for… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been… (More)
  • figure 4
  • figure 5
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Haskell's type classes allow ad-hoc overloading, or type-indexing, of functions. A natural generalisation is to allow type… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The 'Scrap your boilerplate' approach to generic programming allows the programmer to write generic functions that can traverse… (More)
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Type classes and overloading are shown to be independent concepts that can both be added to simple higher order logics in the tra… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this… (More)
Is this relevant?
1993
1993
We study the type inference problem for a system with type classes as in the functional programming language Haskell. Type… (More)
Is this relevant?
1992
1992
We propose a generalization to Haskell's type classes where a class can have type parameters besides the placeholder variable. We… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 5
  • figure 6
Is this relevant?