Nada Amin, Tiark Rompf, and Martin Odersky. 2014. “Foundations of path-dependent types.” In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, Pp. 233–249. ACM.