1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Sandro Stucki, Paolo G. Giarrusso
The calculus of Dependent Object Types (DOT) has enabled a more principled and robust implementation of Scala, but its support for type-level computation has proven insufficient. A…