The coherence of languages with intersection types

This publication has 4 references indexed in Scilit:

• Type inference for record concatenation and multiple inheritance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Inheritance as implicit coercion
  Information and Computation, 1991
• Functional Characters of Solvable Terms
  Mathematical Logic Quarterly, 1981
• Using category theory to design implicit conversions and generic operators
  Published by Springer Nature ,1980