Now showing items 1-5 of 5

    • 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 ...
    • 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 ...
    • Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics 

      Turcotte, Alexi (University of Waterloo, 2018-08-31)
      Foreign function interfaces (FFIs) are commonly used as a way to mix programming languages. In such systems, a program written in a host language calls functions written in a guest language from within the same program. ...
    • 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 ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages