M. Carlsson. Improving error messages with partial type inference, 1991. Presented at the annual winter workshop, Dept. Comp. Sci., Chalmers Univ. of Tech., S-412 96 Goteborg, Sweden (magnus@cs.chalmers.se). Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Finding the Source of Type Errors Interactively - Rittri (1993) (7 citations) Self-citation (Type) (Correct)
....up when the argument type 3 of a function cannot be unified with the type of an actual argument, so only the first error is reported. Carsten Gomard [3] has made a more robust type deriver that gives types to all typeable parts of a program, and underlines the untypeable parts. Magnus Carlsson [1] has suggested a refinement of this idea, where untypeable parts are assigned the whole set of conflicting types they would need. Such a set might provide a good starting point for questions to the interactive system. The type deriver in Standard ML of New Jersey is also advanced and can report ....
M. Carlsson. Improving error messages with partial type inference, 1991. Presented at the annual winter workshop, Dept. Comp. Sci., Chalmers Univ. of Tech., S-412 96 Goteborg, Sweden (magnus@cs.chalmers.se).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC