Polymorphic type inference for languages with overloading and subtyping

A second look at overloading

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

Constraint-set satisfiability for overloading

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

A path sensitive type system for resource usage verification of c like languages

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems

Overloading is NP-Complete

Logic and Program Semantics