Trust, but Verify: Two-Phase Typing for Dynamic Languages.

Panagiotis Vekris Benjamin Cosman Ranjit Jhala

Published in: ECOOP (2015)

Keyphrases

databases
dynamic environments
open environments
neural network
machine learning
decision making
management system
mobile phone