Browsing Theses by Author "Shi, Haifeng"
Now showing items 1-1 of 1
-
Context-Sensitive Optional Type Systems Meet Generics: A Uniform Treatment and Formalization
Shi, Haifeng (University of Waterloo, 2023-12-14)This thesis explores a novel design of context-sensitive optional type systems which supports generics. Optional type systems, as the name suggests, optionally enforce type rules in typechecking and can be switched on ...