Typeview: a tool for understanding type errors (2000)

by F Huch, O Chitil, A Simon
Venue:Proceedings of 12th International Workshop on Implementation of Functional Languages