Victoria University

Browsing Doctoral Theses by Author "Mackay, Julian"

ResearchArchive/Manakin Repository

Browsing Doctoral Theses by Author "Mackay, Julian"

Sort by: Order: Results:

  • 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 ...

Search ResearchArchive


Advanced Search

Browse

My Account

Statistics