Sign in

Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).

Eric L. SeidelRanjit JhalaWestley 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