Implementing higher-kinded types in Dotty

Martin Odersky, Guillaume Martres, Dmitry Petrashko. Implementing higher-kinded types in Dotty. In Aggelos Biboudis, Manohar Jonnalagedda, Sandro Stucki, Vlad Ureche, editors, Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016. pages 51-60, ACM, 2016. [doi]