Type classes and overloading resolution via order-sorted unification

Parametric type classes

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

Type inference in the presence of overloading, subtyping and recursive types

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

Type checking type classes

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Semantics of type classes revisited

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming

A second look at overloading

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

Type classes in Haskell

ACM Transactions on Programming Languages and Systems (TOPLAS)

Functional logic overloading

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Open and closed scopes for constrained genericity

Theoretical Computer Science

Type classes with more higher-order polymorphism

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming

Explicit Graphs in a Functional Model for Spatial Databases

IEEE Transactions on Knowledge and Data Engineering