Higher-order intersection types and multiple inheritance
Adriana B. Compagnoni, Benjamin C. Pierce · Mathematical Structures in Computer Science · 1996
We study a natural generalization of SystemFωwith intersection types, establishing basic structural properties and constructing a semantic model based on partial equivalence relations to prove the soundness of typing. As an application of this calculus, we define a simple typed model of object-oriented programming with multiple inheritance.