Tiark Rompf and Nada Amin. 2016. “Type soundness for Dependent Object Types (DOT).” In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pp. 624–641. ACM.