Subtyping

Papers on Subtyping from POPL, PLDI, OOPSLA, ECOOP, and ICFP.

---

2025

• Semantic Subtyping for Object-Oriented Languages — OOPSLA 2025
  Set-theoretic semantic subtyping for OO type systems with generics.

• Coercive Subtyping for Gradual Object Types — ECOOP 2025
  Subtyping via coercion functions for gradual object types.

• A Sound and Complete Type System for Featherweight Generic Java — ECOOP 2025
  Generic parameterized subtyping for FGJ with mutation.

• Dependent Object Types with Intersection Types — ECOOP 2025
  Path-dependent subtyping in DOT with intersection.

---