Browsing Electrical and Computer Engineering by Author "Cai, Zhiping"
Now showing items 1-1 of 1
-
UniFlow: A CFG-Based Framework for Pluggable Type Checking and Type Inference
Cai, Zhiping (University of Waterloo, 2023-04-21)A type system is a crucial component of high-level programming languages, as it enhances program correctness by ruling out certain type errors. However, the built-in type system often adheres to a specific set of rules ...