Kung Chen
Yale Univ., New Haven, CT
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)