Skalpel: a type error slicer for standard ML

DOI10.1016/J.ENTCS.2015.04.012zbMath1342.68062OpenAlexW2086055875WikidataQ113317802 ScholiaQ113317802MaRDI QIDQ530861

Vincent Rahli

Publication date: 1 August 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2015.04.012

zbMATH Keywords

automated error diagnosisautomated type inferenceimproved error reports

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Uses Software

• Poly/ML
• PolyML
• Skalpel

Cites Work

• Discriminative sum types locate the source of type errors
• Toward general diagnosis of static errors
• Typed Lambda Calculi and Applications

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