Non-parametric parametricity
From MaRDI portal
Publication:4918243
DOI10.1017/S0956796811000165zbMath1262.68026OpenAlexW2634443969MaRDI QIDQ4918243
Andreas Rossberg, Georg Neis, Derek R. Dreyer
Publication date: 24 April 2013
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796811000165
Related Items
Cites Work
- Parametricity and variants of Girard's \(J\) operator
- Relational interpretations of recursive types in an operational setting.
- A bisimulation for type abstraction and recursion
- FUNCTIONAL PEARL Type-safe cast
- Dynamic typing in polymorphic languages
- Acute: High-level programming language design for distributed computation
- A bisimulation for dynamic sealing