Towards Algorithmic Typing for DOT

Abel Nieto

The Dependent Object Types (DOT) calculus formalizes key features of Scala. The D${}_{<:}$ calculus is the core of DOT. To date, presentations of D${}_{<:}$ have used declarative typ…