Browsing Theses by Subject "type system"
Now showing items 1-3 of 3
-
Adding Reference Immutability to Scala
(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)
(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
(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 ...