1 citations · 1 across the 1 of their papers we have counts for
3 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…
cs.PL2016★ 1 cited
Mutable WadlerFest DOT
Marianna Rapoport, Ondřej Lhoták
The Dependent Object Types (DOT) calculus aims to model the essence of Scala, with a focus on abstract type members, path-dependent types, and subtyping. Other Scala features could…