Java Wildcards Meet Definition-Site Variance
No abstract available.
Related papers
- Taming the wildcards: combining definition- and use-site variance PLDI 2011
- GADTs Meet Subtyping ESOP 2013
- A Model for Java with Wildcards ECOOP 2008
- Taming wildcards in Java's type system PLDI 2011
- A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference ECOOP 2026
- Refactoring Java generics by inferring wildcards, in practice OOPSLA 2014
- Wildcards need witness protection OOPSLA 2022
- On Satisfiability of Nominal Subtyping with Variance ECOOP 2019