An extension of system F with subtyping

This publication has 14 references indexed in Scilit:

• Operations on records
  Mathematical Structures in Computer Science, 1991
• A modest model of records, inheritance, and bounded quantification
  Information and Computation, 1990
• A semantic basis for quest
  Published by Association for Computing Machinery (ACM) ,1990
• Functorial polymorphism
  Theoretical Computer Science, 1990
• Typed lambda models and Cartesian closed categories (preliminary version)
  Contemporary Mathematics, 1989
• A semantics of multiple inheritance
  Information and Computation, 1988
• Polymorphism is set theoretic, constructively
  Published by Springer Nature ,1987
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972