Explaining type inference

DOI10.1016/0167-6423(95)00007-0zbMath0851.68015OpenAlexW2062727459MaRDI QIDQ1919354

Frederick Bent, Dominic Duggan

Publication date: 5 August 1996

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

Full work available at URL: https://doi.org/10.1016/0167-6423(95)00007-0

zbMATH Keywords

type inferencescripting languageslogic program debuggerssemantics-based programming environments

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (7)

Improving type error reporting for type classes ⋮ Systematic identification and communication of type errors ⋮ Improving type error messages for generic Java ⋮ Towards a formal framework for heterogeneous relation algebra ⋮ Skalpel: a constraint-based type error slicer for standard ML ⋮ Proofs of a set of hybrid let-polymorphic type inference algorithms ⋮ Source-tracking unification

This page was built for publication: Explaining type inference