Undecidability of $D_{<:}$ and Its Decidable Fragments

Jason Hu, Ondřej Lhoták

Dependent Object Types (DOT) is a calculus with path dependent types, intersection types, and object self-references, which serves as the core calculus of Scala 3. Although the cal…