Mackay, Julian
(Victoria University of Wellington, 2020)
Path dependent types form a central component of the Scala programming language. Coupled with other expressive type forms, path dependent types provide for a diverse set of concepts and patterns, from nominality to F-bounded ...