Now showing items 1-3 of 3

    • 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 ...
    • A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API 

      Liu, Shuchen (University of Waterloo, 2023-08-17)
      Java cryptographic APIs facilitate building secure applications, but not all developers have strong cryptographic knowledge to use these APIs correctly. Several studies have shown that misuses of those cryptographic APIs ...

      UWSpace

      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