Type error slicing in implicitly typed higher-order languages
From MaRDI portal
Publication:1887738
DOI10.1016/j.scico.2004.01.004zbMath1091.68017MaRDI QIDQ1887738
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
68N15: Theory of programming languages
Related Items
Skalpel: a constraint-based type error slicer for standard ML, An approach to completing variable names for implicitly typed functional languages, Linearity and iterator types for Gödel's system \(\mathcal T\), Type inference and strong static type checking for Promela