Exploiting diversity in type checkers for better error messages.

Sheng Chen Martin Erwig Karl Smeltzer

Published in: J. Vis. Lang. Comput. (2017)

Keyphrases

error rate
website
trade off
email
database
neural network
upper bound
mobile phone
error analysis