Benjamin S. Lerner Matthew Flower Dan Grossman Craig Chambers Searching for type-error messages. 425-434 2007 conf/pldi/2007 PLDI http://doi.acm.org/10.1145/1250734.1250783 db/conf/pldi/pldi2007.html#LernerFGC07