Search Constraints

Start Over
Filtering by: Creator Berstein, R. Remove constraint Creator: Berstein, R. License Attribution 4.0 (CC BY 4.0) Remove constraint License: Attribution 4.0 (CC BY 4.0)

Search Results

  • Systematic identification and communication of type errors

    Creator:
    Chen, Sheng and Erwig, Martin
    Abstract:
    When type inference fails, it is often difficult to pinpoint the cause of the type error among many potential candidates. Generating informative messages to remove the type error is another difficult task due to the limited availability of type information. Over the last three decades many approaches have been developed...
    Resource Type:
    Article