Mike Beaven Ryan Stansifer Explaining Type Errors In Polimorphic Languages. 17-30 1993 2 LOPLAS 1-4 db/journals/loplas/loplas2.html#Stansifer93 http://doi.acm.org/10.1145/176454.176460