Now showing items 1-1 of 1
Context Sensitive Typechecking And Inference: Ownership And Immutability
(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 ...