Browsing Computer Science by Author "Thode, Michael"
Now showing items 1-1 of 1
-
A Type System With Containers
Thode, Michael (University of Waterloo, 2021-10-04)In this thesis, we will introduce the concept of containers as they apply to programming languages. Encapsulation is a common topic in programming languages with well understood benefits. Here, we will investigate its ...