"Report on a User Test and Extension of a Type Debugger for Novice Programmers."

Yuki Ishii, Kenichi Asai (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics