Equational axiomatization of bicoercibility for polymorphic types

This publication has 9 references indexed in Scilit:

• Subtype inequalities
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A Calculus for Overloaded Functions with Subtyping
  Information and Computation, 1995
• Isomorphisms of Types: from λ-calculus to information retrieval and language design
  Published by Springer Nature ,1995
• Bounded Quantification Is Undecidable
  Information and Computation, 1994
• An Extension of System F with Subtyping
  Information and Computation, 1994
• Decidable bounded quantification
  Published by Association for Computing Machinery (ACM) ,1994
• Efficient type reconstruction in the presence of inheritance
  Published by Springer Nature ,1993
• Type reconstruction with recursive types and atomic subtyping
  Published by Springer Nature ,1993
• Inheritance as implicit coercion
  Information and Computation, 1991