Non-parametric parametricity
From MaRDI portal
Publication:4918243
Recommendations
- Non-parametric parametricity
- Parametricity, type equality, and higher-order polymorphism
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
- State-dependent representation independence
Cites work
- A bisimulation for dynamic sealing
- A bisimulation for type abstraction and recursion
- Acute: High-level programming language design for distributed computation
- Dynamic typing in polymorphic languages
- FUNCTIONAL PEARL Type-safe cast
- Parametricity and variants of Girard's \(J\) operator
- Relational interpretations of recursive types in an operational setting.
Cited in
(5)
This page was built for publication: Non-parametric parametricity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918243)