Browsing Mathematics (Faculty of) by Subject "optional typing"
Now showing items 1-2 of 2
-
Gradual C Programming for Typed Lua
(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 ... -
Static Types with Less Syntax: Locus Types
(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 ...