Gradual Typing for Annotated Type Systems
Abstract elided by the publisher.
Related papers
- LJGS: Gradual Security Types for Object-Oriented Languages ECOOP 2016
- Towards Practical Gradual Typing ECOOP 2015
- Taming type annotations in gradual typing OOPSLA 2020
- Migrating gradual types POPL 2018
- The ins and outs of gradual type inference POPL 2012
- Migrating gradual types JFP 2022
- Gradual typing with unification-based inference DLS 2008
- Casts and costs: harmonizing safety and performance in gradual typing ICFP 2018