Similar Items: Parametricity for Nested Types and GADTs
- Internal Parametricity for Cubical Type Theory
- BioNestedNER: A Hybrid Language Model Approach for Recognizing Nested, Discontinuous, and Multi-Type Named Entities
- Parametric updates in parametric timed automata
- Relational Parametricity and Control
- Relational Parametricity and Separation Logic
- Relational Parametricity for Computational Effects