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

Panagiotis Vekris Benjamin Cosman Ranjit Jhala

Published in: CoRR (2015)

Keyphrases

website
text classification
language independent
machine learning
databases
expressive power
dynamic environments
neural network
open environments
information retrieval
artificial intelligence
peer to peer
social capital
language identification
trust evaluation