Browsing Mathematics (Faculty of) by Author "Arteca, Ellen"
Now showing items 1-1 of 1
-
Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript
Arteca, Ellen (University of Waterloo, 2018-08-31)As dynamic scripting languages are increasingly used in industry in large-scale projects, a need has arisen for more some of the convenient features of statically typed languages. This led to the development of gradual ...