2 papers
cs.PL2019
A Path To DOT: Formalizing Fully Path-Dependent Types
Marianna Rapoport, Ondřej Lhoták
The Dependent Object Types (DOT) calculus aims to formalize the Scala programming language with a focus on path-dependent types types such as that depend on…
cs.PL2017
A Simple Soundness Proof for Dependent Object Types
Marianna Rapoport, Ifaz Kabir, Paul He +1
Dependent Object Types (DOT) is intended to be a core calculus for modelling Scala. Its distinguishing feature is abstract type members, fields in objects that hold types rather th…