Browsing Mathematics (Faculty of) by Subject "gradual typing"

Now showing items 1-3 of 3

Gradual C Programming for Typed Lua

Turas, Rafi (University of Waterloo, 2019-01-22)

The work presented in this thesis deals with the problem of enhancing the performance of dynamically-typed programming languages by integrating features from statically-typed programming languages. Statically-typed languages ...
No Zombie Types: Liveness-Based Justification For Monotonic Gradual Types

Zi, Yangtian (University of Waterloo, 2021-08-24)

Gradual type systems with the monotonic dynamic semantics, such as HiggsCheck implementing SafeTypeScript, are able to achieve decent performance, making them a viable option for JavaScript programmers seeking run-time-checkable ...
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 ...