Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning.

Joris Burgers Jurriaan Hage Alejandro Serrano

Published in: IFL (2020)

Keyphrases

model based reasoning
model based diagnosis
error rate
legal cases
diagnostic systems
programming language
medical diagnosis
spatial reasoning
functional programming
diagnostic reasoning
reasoning systems
reasoning process
qualitative reasoning
neural network
error analysis
heuristic search
knowledge base