Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Date 2013 Subject Error messages (Computer science)

Better Type-Error Messages Through Lazy Typing

Creator:

Chen, Sheng, Erwig, Martin, and Oregon State University. School of Electrical Engineering and Computer Science

Abstract:

Producing precise and helpful error messages for type inference is still a challenge for implementations of functional languages. Current approaches often lack precision in terms of locating the origins of type errors. Moreover, suggestions for how to fix type errors that are offered by some tools are also often vague...

Resource Type:

Technical Report