Abel Nieto. Towards algorithmic typing for DOT (short paper). In Heather Miller, Philipp Haller, Ondrej Lhoták, editors, Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017. pages 2-7, ACM, 2017. [doi]
Abstract is missing.