Type Classes in Haskell

A second look at overloading

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

Formally based profiling for higher-order functional languages

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

Objects + Views = Components?

ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications

Fine Control of Demand in Haskell

MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction

Associated types with class

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Polymorphic typed defunctionalization and concretization

Higher-Order and Symbolic Computation

Many holes in hindley-milner

Proceedings of the 2008 ACM SIGPLAN workshop on ML