"Heuristics for Type Error Discovery and Recovery."

Jurriaan Hage, Bastiaan Heeren (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics