Relational Parametricity for a Polymorphic Linear Lambda Calculus
Abstract elided by the publisher.
Related papers
- A relationally parametric model of dependent type theory POPL 2014
- Modules, abstraction, and parametric polymorphism POPL 2017
- Pragmatic Gradual Polymorphism with References ESOP 2023
- Quantifier Elimination and Parametric Polymorphism in Programming Languages JFP 1992
- Linearization of the lambda-calculus and its relation with intersection type systems JFP 2004
- Behavioral Equivalence in the Polymorphic Pi-calculus POPL 1997
- Relating Models of Polymorphism POPL 1989
- Theorems for free for free: parametricity, with and without types ICFP 2017