2004 · 45 citations · 14 references
ComputingComputer ScienceAlgorithmsProgramming LanguagesSet TheoryConstraint ProgrammingConstraint SatisfactionData-flow AnalysisError DetectionType CheckingType SystemsConstraint-based Type CheckingError ReportingSubsumption ReasoningType ConstraintsType Error Reporting
All in-text\treferences\tunderlined\tin\tblue\tare\tlinked\tto\tpublications\ton\tResearchGate, letting you\taccess\tand\tread\tthem\timmediately.
14
Practical type inference for arbitrary-rank types
Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · Journal of Functional Programming · 2006 · 213 citations · Full text
Finding the source of type errors
Mitchell Wand · 1986 · 135 citations
Interactive type debugging in Haskell
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny · 2003 · 77 citations