Browsing Theses by Subject "Scala"
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 ... -
Efficient Implementation of Parametric Polymorphism using Reified Types
(University of Waterloo, 2023-04-28)Parametric polymorphism is a language feature that lets programmers define code that behaves independently of the types of values it operates on. Using parametric polymorphism enables code reuse and improves the maintainability ... -
A Path to DOT: Formalizing Scala with Dependent Object Types
(University of Waterloo, 2019-12-13)The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's i) essential features in a ii) type-safe way and is iii) easy to extend ...