Monotonic References for Efficient Gradual Typing
No abstract available.
Related papers
- Abstracting Gradual References (SCICO Journal-first) ECOOP 2020
- Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16 TOPLAS 2020
- Type-Driven Gradual Security with References TOPLAS 2018
- Pragmatic Gradual Polymorphism with References ESOP 2023
- Approximate normalization for gradual dependent types ICFP 2019
- Type-Safe Monotonic Object Evolution OOPSLA 2026
- Recalling a witness: foundations and applications of monotonic state POPL 2018
- Toward efficient gradual typing for structural types via coercions PLDI 2019