"Exploiting diversity in type checkers for better error messages."

Sheng Chen, Martin Erwig, Karl Smeltzer (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics