Type error slicing in implicitly typed higher-order languages

DOI10.1016/J.SCICO.2004.01.004zbMath1091.68017OpenAlexW2068336423MaRDI QIDQ1887738

Christian Haack, J. B. Wells

Publication date: 22 November 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.01.004

zbMATH Keywords

Intersection typesType inferenceType error location

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (4)

Linearity and iterator types for Gödel's system \(\mathcal T\) ⋮ Skalpel: a constraint-based type error slicer for standard ML ⋮ An approach to completing variable names for implicitly typed functional languages ⋮ Type inference and strong static type checking for Promela

This page was built for publication: Type error slicing in implicitly typed higher-order languages