Sign in
Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).
Eric L. Seidel
Ranjit Jhala
Westley Weimer
Published in:
J. Funct. Program. (2018)
Keyphrases
</>
dynamic environments
dynamic analysis
artificial intelligence
least squares
dynamically changing
automatic programming
web services
case study
multi agent systems
hidden markov models
dynamic constraints