Type debugging with counter-factual type error messages using an existing type checker.

Kanae Tsushima Olaf Chitil Joanna Sharrad

Published in: IFL (2019)

Keyphrases

databases
neural network
data sets
data mining
computer vision
information systems
knowledge base
multimedia
training data
video sequences
medical images
error rate