Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong).

Eric L. Seidel Ranjit Jhala Westley Weimer

Published in: ICFP (2016)

Keyphrases

dynamic environments
higher order
dynamic constraints
neural network
real world
genetic algorithm
learning algorithm
image processing
prediction error
programming environment
dynamically changing
type checking
fixed order