Browsing Mathematics (Faculty of) by Supervisor "Lhotak, Ondrej"
Now showing items 1-2 of 2
-
Specializing Scala with Truffle
(University of Waterloo, 2022-11-24)Scala is a generic object-oriented programming language with higher-order abstractions. Programming abstractions in Scala exemplify reusability and extensibility in the context of type safety. In particular, generic ... -
A Type System With Containers
(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 ...