Type class (English Wikipedia)

Morris, John G. (2013). Type Classes and Instance Chains: A Relational Approach (PDF) (PhD). Department of Computer Science, Portland State University. doi:10.15760/etd.1010.
Wadler, P.; Blott, S. (1989). "How to make ad-hoc polymorphism less ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89). Association for Computing Machinery. pp. 60–76. doi:10.1145/75277.75283. ISBN 0-89791-294-2. S2CID 15327197.
Kaes, Stefan (March 1988). "Parametric overloading in polymorphic programming languages". Proceedings 2nd European Symposium on Programming Languages. doi:10.1007/3-540-19027-9_9.
Appel, A.W.; MacQueen, D.B. (1991). "Standard ML of New Jersey". In Maluszyński, J.; Wirsing, M. (eds.). Programming Language Implementation and Logic Programming. PLILP 1991. Lecture Notes in Computer Science. Vol. 528. Springer. pp. 1–13. doi:10.1007/3-540-54444-5_83. ISBN 3-540-54444-5.
Jones, Mark P. (2000). "Type Classes with Functional Dependencies". In Smolka, G. (ed.). Programming Languages and Systems. ESOP 2000. Lecture Notes in Computer Science. Vol. 1782. Springer. pp. 230–244. doi:10.1007/3-540-46425-5_15. ISBN 3-540-46425-5.
Oliveira, Bruno C.d.S.; Moors, Adriaan; Odersky, Martin (2010). "Type Classes as Objects and Implicits" (PDF). Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '10). Association for Computing Machinery. pp. 341–360. doi:10.1145/1869459.1869489. ISBN 978-1-4503-0203-6. S2CID 207183083.
Dreyer, Derek; Harper, Robert; Chakravarty, Manuel M.T. (2007). "Modular Type Classes". Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '07). pp. 63–70. See p. 63. doi:10.1145/1190216.1190229. ISBN 978-1-59593-575-5. S2CID 1828213. TR-2006-03.{{cite book}}: CS1 maint: miscellaneous url (link)

ghostarchive.org (Global: 64^th place; English: 28^th place)

Kmett, Edward (January 21, 2015). Type Classes vs. the World (video). Boston Haskell Meetup. Archived from the original on 2021-12-21.

go.dev (Global: low place; English: low place)

The Go Authors. "A tour of Go - Interfaces". go.dev. The Go Authors. Retrieved 5 May 2026.

haskell.org (Global: low place; English: low place)

jgbm.github.io (Global: low place; English: low place)

Morris, John G. (2013). Type Classes and Instance Chains: A Relational Approach (PDF) (PhD). Department of Computer Science, Portland State University. doi:10.15760/etd.1010.

labri.fr (Global: low place; English: low place)

Castéran, P.; Sozeau, M. (2014). "A Gentle Introduction to Type Classes and Relations in Coq" (PDF).

pdx.edu (Global: 8,114^th place; English: 5,016^th place)

web.cecs.pdx.edu

Jones, Mark P. (2000). "Type Classes with Functional Dependencies". In Smolka, G. (ed.). Programming Languages and Systems. ESOP 2000. Lecture Notes in Computer Science. Vol. 1782. Springer. pp. 230–244. doi:10.1007/3-540-46425-5_15. ISBN 3-540-46425-5.

psu.edu (Global: 299^th place; English: 159^th place)

citeseer.ist.psu.edu

Dreyer, Derek; Harper, Robert; Chakravarty, Manuel M.T. (2007). "Modular Type Classes". Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '07). pp. 63–70. See p. 63. doi:10.1145/1190216.1190229. ISBN 978-1-59593-575-5. S2CID 1828213. TR-2006-03.{{cite book}}: CS1 maint: miscellaneous url (link)

researchgate.net (Global: 96^th place; English: 89^th place)

Wadler, P.; Blott, S. (1989). "How to make ad-hoc polymorphism less ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89). Association for Computing Machinery. pp. 60–76. doi:10.1145/75277.75283. ISBN 0-89791-294-2. S2CID 15327197.

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Wadler, P.; Blott, S. (1989). "How to make ad-hoc polymorphism less ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89). Association for Computing Machinery. pp. 60–76. doi:10.1145/75277.75283. ISBN 0-89791-294-2. S2CID 15327197.
Oliveira, Bruno C.d.S.; Moors, Adriaan; Odersky, Martin (2010). "Type Classes as Objects and Implicits" (PDF). Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '10). Association for Computing Machinery. pp. 341–360. doi:10.1145/1869459.1869489. ISBN 978-1-4503-0203-6. S2CID 207183083.
Dreyer, Derek; Harper, Robert; Chakravarty, Manuel M.T. (2007). "Modular Type Classes". Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '07). pp. 63–70. See p. 63. doi:10.1145/1190216.1190229. ISBN 978-1-59593-575-5. S2CID 1828213. TR-2006-03.{{cite book}}: CS1 maint: miscellaneous url (link)

snu.ac.kr (Global: low place; English: low place)

ropas.snu.ac.kr

Oliveira, Bruno C.d.S.; Moors, Adriaan; Odersky, Martin (2010). "Type Classes as Objects and Implicits" (PDF). Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '10). Association for Computing Machinery. pp. 341–360. doi:10.1145/1869459.1869489. ISBN 978-1-4503-0203-6. S2CID 207183083.

typelevel.org (Global: low place; English: low place)

typelevel.org, Scala Cats

youtube.com (Global: 13^th place; English: 14^th place)

In GHC, the C Core uses Girard & Reynold's System F type signatures to identify a typed case for processing in the optimization phases. – Simon Peyton Jones "Into the Core - Squeezing Haskell into Nine Constructors" Erlang User Conference, Sep 14, 2016
Kmett, Edward (January 21, 2015). Type Classes vs. the World (video). Boston Haskell Meetup. Archived from the original on 2021-12-21.

Type class (English Wikipedia)

aturon.github.io (Global: low place; English: low place)

chalmers.se (Global: low place; English: low place)

wiki.portal.chalmers.se

danielwestheide.com (Global: low place; English: low place)

doi.org (Global: 2nd place; English: 2nd place)

ghostarchive.org (Global: 64th place; English: 28th place)

go.dev (Global: low place; English: low place)

haskell.org (Global: low place; English: low place)

prime.haskell.org

hackage.haskell.org

mail.haskell.org

haskell.org

jgbm.github.io (Global: low place; English: low place)

labri.fr (Global: low place; English: low place)

pdx.edu (Global: 8,114th place; English: 5,016th place)

web.cecs.pdx.edu

psu.edu (Global: 299th place; English: 159th place)

citeseer.ist.psu.edu

researchgate.net (Global: 96th place; English: 89th place)

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

snu.ac.kr (Global: low place; English: low place)

ropas.snu.ac.kr

typelevel.org (Global: low place; English: low place)

youtube.com (Global: 13th place; English: 14th place)

doi.org (Global: 2^nd place; English: 2^nd place)

ghostarchive.org (Global: 64^th place; English: 28^th place)

pdx.edu (Global: 8,114^th place; English: 5,016^th place)

psu.edu (Global: 299^th place; English: 159^th place)

researchgate.net (Global: 96^th place; English: 89^th place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

youtube.com (Global: 13^th place; English: 14^th place)