Counter-factual typing for debugging type errors.

Sheng Chen Martin Erwig

Published in: POPL (2014)

Keyphrases

artificial intelligence
neural network
social networks
website
web services
decision trees
case study
objective function
error accumulation