Browsing Mathematics (Faculty of) by Subject "type system"
Now showing items 1-2 of 2
-
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 ...