Existential types: Logical relations and operational equivalence

This publication has 8 references indexed in Scilit:

• A logic for parametric polymorphism
  Published by Springer Nature ,2006
• Parametric Polymorphism and Operational Equivalence (Preliminary Version)
  Electronic Notes in Theoretical Computer Science, 1998
• The Definition of Standard ML
  Published by MIT Press ,1997
• Simple imperative polymorphism
  Higher-Order and Symbolic Computation, 1995
• On the Equivalence of Data Representations
  Published by Elsevier ,1991
• Abstract types have existential type
  ACM Transactions on Programming Languages and Systems, 1988
• Logical relations and the typed λ-calculus
  Information and Control, 1985
• LCF considered as a programming language
  Theoretical Computer Science, 1977