Extensions for Dependent Object Types
The DOT (Dependent Object Types) calculus by Amin et al. (2016) aims to formalizes Scala, specifically, abstract type members and path-dependent types.
This different folders of this repository contains extensions to DOT that aim to bridge the gap between DOT and Scala, and to experiment with new Scala features.
We currently provide the following extensions: