Alexander V. Shafarenko. Coercion as homomorphism: type inference in a system with subtyping and overloading. In Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002). pages 14-25, ACM, 2002. [doi]
Abstract is missing.