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.

---