3 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Guillaume Martres
The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. Th…