Decidability of higher-order subtyping with intersection types

This publication has 10 references indexed in Scilit:

• Simple type-theoretic foundations for object-oriented programming
  Journal of Functional Programming, 1994
• Coherence of subsumption, minimum typing and type-checking in F ≤
  Mathematical Structures in Computer Science, 1992
• PER models of subtyping, recursive types and higher-order polymorphism
  Published by Association for Computing Machinery (ACM) ,1992
• Inheritance is not subtyping
  Published by Association for Computing Machinery (ACM) ,1990
• Toward a typed foundation for method specialization and inheritance
  Published by Association for Computing Machinery (ACM) ,1990
• F-bounded polymorphism for object-oriented programming
  Published by Association for Computing Machinery (ACM) ,1989
• A semantics of multiple inheritance
  Information and Computation, 1988
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• A filter lambda model and the completeness of type assignment
  The Journal of Symbolic Logic, 1983
• A new type assignment for λ-terms
  Archive for Mathematical Logic, 1978