Fully Abstract Translations and Parametric Polymorphism
No abstract available.
Related papers
- Space-Efficient Polymorphic Gradual Typing, Mostly Parametric PLDI 2024
- Parametric polymorphism in Java: an approach to translation based on reflective features OOPSLA 2000
- Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations OOPSLA 2013
- Proofs for free - Parametricity for dependent types JFP 2012
- Parametric Polymorphism for Java: A Reflective Solution OOPSLA 1998
- Structural Subtyping as Parametric Polymorphism OOPSLA 2023
- Noninterference for free ICFP 2015
- Translating dependency into parametricity ICFP 2004