Login / Signup

Dynamically diagnosing type errors in unsafe code.

Stephen Kell
Published in: OOPSLA (2016)
Keyphrases
  • error detection
  • knowledge base
  • least squares
  • changing environment
  • dynamically changing