Browsing University of Waterloo by Subject "liveness-based type justification"
Now showing items 1-1 of 1
-
No Zombie Types: Liveness-Based Justification For Monotonic Gradual Types
(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 ...