Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, and Ruzica Piskac. Complete completion using types and weights. In ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), 2013.

[ bib ] Back