Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets.

Shuai Fu Tim Dwyer Peter J. Stuckey John Grundy

Published in: CoRR (2024)

Keyphrases

error detection
error detection and correction
error analysis
neural network
high level
general purpose
minimal subsets
real time
artificial intelligence
information systems
three dimensional
bayesian networks
digital libraries
programming language
functional programming
errors occur