Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
No abstract available.
Related papers
- Internal and Observational Parametricity for Cubical Agda POPL 2024
- Plausible sealing for gradual parametricity OOPSLA 2022
- From parametricity to conservation laws, via Noether's theorem POPL 2014
- Two Parametricities Versus Three Universal Types TOPLAS 2022
- Parametric Polymorphism for Java: A Reflective Solution OOPSLA 1998
- Modules, abstraction, and parametric polymorphism POPL 2017
- Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations OOPSLA 2013
- Translating dependency into parametricity ICFP 2004