Gradual Typing for Objects
No abstract available.
Related papers
- KafKa: Gradual Typing for Objects ECOOP 2018
- Cast insertion strategies for gradually-typed objects DLS 2013
- Transitioning from structural to nominal code with efficient gradual typing OOPSLA 2021
- Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types OOPSLA 2024
- LJGS: Gradual Security Types for Object-Oriented Languages ECOOP 2016
- Gradual typing for generics OOPSLA 2011
- Principal Type Schemes for Gradual Programs POPL 2015
- Toward efficient gradual typing for structural types via coercions PLDI 2019