Let's hear both sides: On combining type-error reporting tools

Sheng Chen 0008, Martin Erwig, Karl Smeltzer. Let's hear both sides: On combining type-error reporting tools. In Scott D. Fleming, Andrew Fish, Christopher Scaffidi, editors, IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. pages 145-152, IEEE, 2014. [doi]

Abstract

Abstract is missing.