Guided Type Debugging

DOI10.1007/978-3-319-07151-0_3zbMath1416.68034OpenAlexW77592238MaRDI QIDQ5170701

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

type inferenceerror localizationchange suggestionschoice typestype debuggingtype error messages

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (3)

Migrating gradual types ⋮ Improving type error reporting for type classes ⋮ Systematic identification and communication of type errors

This page was built for publication: Guided Type Debugging