Support tool and strategy for type error correction with polymorphic types. - Hiroshi Maruyama; Masaki Matsuyama; Keijiro Araki (COMPSAC, 1992)