Gradual Typing¶
Papers on Gradual Typing from POPL, PLDI, OOPSLA, ECOOP, and ICFP.
2025¶
-
Robust Dynamic Embedding for Gradual Typing — ICFP 2025
Semantic foundations ensuring the gradual guarantee in expressive gradual type systems. -
Gradual Verification with Abstract Interpretation — PLDI 2025
Extending abstract interpretation to support gradually-checked program invariants. -
Gradual Ownership Types — OOPSLA 2025
Gradual migration path from unannotated to ownership-safe object-oriented programs. -
Coercive Subtyping for Gradual Object Types — ECOOP 2025
Coercion-based semantics for gradual object subtyping.