Implementing higher-kinded types in Dotty

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998400 ◽

2016 ◽

Author(s):

Martin Odersky ◽

Guillaume Martres ◽

Dmitry Petrashko

Download Full-text