Browsing Computer Science by Author "Zi, Yangtian"
Now showing items 1-1 of 1
-
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 ...