Browsing Theses by Author "Hu, Zhong Sheng"
Now showing items 1-1 of 1
-
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 ...