An Introduction to Logical Relations and Parametric Polymorphism - Tutorial
Abstract
No abstract available.
Related papers
- Parametric polymorphism and semantic subtyping: the logical connection ICFP 2011
- Theorems for free for free: parametricity, with and without types ICFP 2017
- Non-parametric parametricity JFP 2011
- Model-Checking: A Tutorial Introduction SAS 1999
- Parlog: Parallel Programming in Logic TOPLAS 1986
- Relational Parametricity and Local Variables POPL 1993
- Pragmatic Gradual Polymorphism with References ESOP 2023
- Relational Parametricity for a Polymorphic Linear Lambda Calculus APLAS 2010