Guided Type Debugging

DOI10.1007/978-3-319-07151-0_3MaRDI QIDQ5170701zbMATH OpenOpenAlexFDO

Authors Sheng Chen, Martin Erwig

Publication date 24 July 2014

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-07151-0_3

zbMATH Keywords

change suggestionschoice typeserror localizationtype debuggingtype error messagestype inference

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1693522
• Counter-factual typing for debugging type errors
• A common framework using expected types for several type debugging approaches
• Compositional explanation of types and algorithmic debugging of type errors
• Guided Static Analysis
• Enhanced type inference for binding-time analysis
• Types from Control Flow Analysis

Cited in

(8)

• A common framework using expected types for several type debugging approaches
• Improving type error reporting for type classes
• Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
• Systematic identification and communication of type errors
• Migrating gradual types
• Compositional explanation of types and algorithmic debugging of type errors
• Scripting the type inference process
• Counter-factual typing for debugging type errors

This page was built for publication: Guided Type Debugging

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5170701)