A logic for parametric polymorphism

This publication has 10 references indexed in Scilit:

• Coherence of subsumption, minimum typing and type-checking in F ≤
  Mathematical Structures in Computer Science, 1992
• Outline of a proof theory of parametricity
  Published by Springer Nature ,1991
• An extension of system F with subtyping
  Published by Springer Nature ,1991
• Subtyping + extensionality: Confluence of βηtop reduction in F≤
  Published by Springer Nature ,1991
• Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
  Published by Springer Nature ,1991
• On the Equivalence of Data Representations
  Published by Elsevier ,1991
• Functorial polymorphism
  Theoretical Computer Science, 1990
• Polymorphism is set theoretic, constructively
  Published by Springer Nature ,1987
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985
• Abstract types have existential types
  Published by Association for Computing Machinery (ACM) ,1985