Skalpel: a constraint-based type error slicer for standard ML

DOI10.1016/J.JSC.2016.07.013zbMath1356.68039OpenAlexW2264141041MaRDI QIDQ507365

Fairouz Kamareddine, John Pirie, Vincent Rahli, J. B. Wells

Publication date: 6 February 2017

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/24182

zbMATH Keywords

automated error diagnosisautomated type inferenceconstraint-based type inferenceimproved error reportstype error slicing

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (1)

Improving type error messages for generic Java

Uses Software

• PolyML
• Skalpel
• mini-ML

Cites Work

• Unnamed Item
• Unnamed Item
• Type error slicing in implicitly typed higher-order languages
• Explaining type inference
• Improving type error messages for generic Java
• Explaining Polymorphic Types
• <scp>OutsideIn(X)</scp>Modular type inference with local assumptions
• Compositional explanation of types and algorithmic debugging of type errors
• Scripting the type inference process
• Discriminative sum types locate the source of type errors
• Type Processing by Constraint Reasoning
• Toward general diagnosis of static errors
• Explaining ML Type Errors by Data Flows

This page was built for publication: Skalpel: a constraint-based type error slicer for standard ML