Now showing items 1-2 of 2

    • Adding Reference Immutability to Scala 

      Zhao, Yaoyu (University of Waterloo, 2023-07-10)
      Scala is a multi-paradigm programming language combining the power of functional and object-oriented programming. While Scala has many features promoting immutability, it lacks a built-in mechanism for controlling and ...
    • Decidability and Algorithmic Analysis of Dependent Object Types (DOT) 

      Hu, Zhong Sheng (University of Waterloo, 2019-08-28)
      Dependent Object Types, or DOT, is a family of calculi developed to study the Scala programming language. These calculi have path dependent types as a feature, and potentially intersection types, union types and recursive ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages