Granullar: gradual nullable types for Java
No abstract available.
Related papers
- A simple blame calculus for explicit nulls JFP 2024
- Scala with Explicit Nulls ECOOP 2020
- Relational nullable types with Boolean unification OOPSLA 2021
- On Leveraging Tests to Infer Nullable Annotations ECOOP 2023
- LJGS: Gradual Security Types for Object-Oriented Languages ECOOP 2016
- Gradual Typing for Annotated Type Systems ESOP 2014
- Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems POPL 2026
- Gradual Ownership Types ESOP 2012