Browsing University of Waterloo by Author "Ta, Mier"
Now showing items 1-1 of 1
-
Context Sensitive Typechecking And Inference: Ownership And Immutability
Ta, Mier (University of Waterloo, 2018-04-26)Context sensitivity is one important feature of type systems that helps creating concise type rules and getting accurate types without being too conservative. In a context-sensitive type system, declared types can be ...