Browsing Mathematics (Faculty of) by Subject "type systems"

Now showing items 1-3 of 3

A Path to DOT: Formalizing Scala with Dependent Object Types

Rapoport, Marianna (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 ...
Scala with Explicit Nulls

Nieto Rodriguez, Abel (University of Waterloo, 2019-12-20)

The Scala programming language unifies the object-oriented and functional styles of programming. One common source of errors in Scala programs is null references. In this dissertation, I present a modification to the Scala ...
Static Types with Less Syntax: Locus Types

Domurad, Adam (University of Waterloo, 2017-05-01)

Optionally and gradually-typed languages allow types to be introduced to dynamic code as needed. While this approach allows some gradual movement from dynamically to statically-typed code, it requires rewriting ...