Subtyping with singleton types

This publication has 13 references indexed in Scilit:

• Singleton, Union, and Intersection Types for Program Extraction
  Information and Computation, 1994
• Pure Type Systems with definitions
  Lecture Notes in Computer Science, 1994
• Coherence of subsumption, minimum typing and type-checking in F ≤
  Mathematical Structures in Computer Science, 1992
• Type checking with universes
  Theoretical Computer Science, 1991
• Inheritance as implicit coercion
  Information and Computation, 1991
• A semantic basis for Quest
  Journal of Functional Programming, 1991
• A modest model of records, inheritance, and bounded quantification
  Information and Computation, 1990
• A semantics of multiple inheritance
  Information and Computation, 1988
• Structural subtyping and the notion of power type
  1988
• Lambda‐Calculus Models and Extensionality
  Mathematical Logic Quarterly, 1980