Lazarevic, Nevena (2017). Augmenting Type Inference with Lightweight Heuristics. (Dissertation, Universität Bern, Philosophisch-naturwissenschaftliche Fakultät)
