1. Coherence of type class resolution;Bottu,2019
2. Comparing object encodings;Bruce;Inform. and Comput.,1999
3. Type inference for overloading without restrictions, declarations or annotations;Camarão,1999
4. Constraint-set satisfiability for overloading;Camarão,2004
5. Extensible Records in a Pure Calculus of Subtyping;Cardelli,1992