1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…