A framework for improving error messages in dependently-typed languages.

Joseph Eremondi Wouter Swierstra Jurriaan Hage

Published in: Open Comput. Sci. (2019)

Keyphrases

higher order
data sets
error rate
error bounds
databases
neural network
data mining
reinforcement learning
data model
main contribution