49 citations · 105 across the 20 of their papers we have counts for
1 paper · 1 filter
Tiark Rompf, Nada Amin
Scala's type system unifies ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new foundation for Sc…