Browsing University of Waterloo by Subject "Type Inference"
Now showing items 1-1 of 1
-
Complexity Analysis of Tunable Type Inference for Generic Universe Types
(University of Waterloo, 2015-08-26)This work studies the computational complexity of a tunable static type inference problem which was introduced in prior research [1]. The problem was assumed to be inherently difficult, without evidence, and a SAT solver ...